8ea7eff ^
1 2 3
data Tree a = Empty | Branch a (Tree a) (Tree a) deriving (Show, Eq) -- Haskell is type-safe, so there is no solution.