first n [] == []
first 0 x == []
first n (a : b) == a : first (n - 1) b

addl (a : resta) (b : restb) == (a + b) : addl resta restb

thing == 1 : addl thing (1 : thing)

seq == 1 : thing

"only 46"