1 2 3
data Tree a = Node a [Tree a] deriving (Eq, Show) -- Haskell is type-safe, so there is no solution.