data List a = Nil | Cons a (List a) main :: List Integer main = Cons (3 :: Integer) Nil -- (Cons 3 Nil)