module Test7 where

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

-- test constructor expression
main  = Cons 1 (Cons 0 Nil)