-- returns if a number is even
even :: Nat -> Bool
even Z                     = True
even (S Z)                 = False
even (S (S Z))             = True
even (S (S (S Z)))         = False
even (S (S (S (S Z))))     = True
even (S (S (S (S (S Z))))) = False