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

intsfrom a == a : intsfrom (a + 1)

intsbetween a b == first (b - a + 1) (intsfrom a)