let repeat x = Cons x (repeat x)
in repeat 7