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