module Test12 where

data List a = Nil | Cons a (List a)

-- test unsaturated constructor
main    = (\f -> f 2) (Cons 1)