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