constr True 0; constr False 0; constr Nil 0; constr Cons 2; repeat x = (Cons x (repeat x)); main = repeat 42