pascal = iterate (extendWith (+)) [1]