oder :: Bool -> Bool -> Bool oder x y = case x of ...
data N = Z | S N
eq :: N -> N -> Bool eq x y = case x of ...