-- not True = False
-- not False = True

----------- Natural numbers

-- data Nat = Z | S Nat

-- (==) :: Integer -> Integer -> Bool
-- (==) a b = case (a, b) of
--   (Z, Z) -> True
--   (Z, _) -> False
--   (_, Z) -> False