ones = 1 : ones integers = 1 : map (1+) integers