Nat' in Haskell