data Nat a = Zero | Suc a deriving Show

igual :: Nat -> Nat -> Bool
igual Zero Zero = True
igual (Suc x) Zero = False
igual (Suc x) (Suc y) = igual x y