data List a = Nil | Cons a (List a) //first :: List Integer -> Integer first Nil = 0 :: Integer first (Cons x _) = x main = first (Cons (9 :: Integer) (Cons (8 :: Integer) Nil)) -- 9