Nat' in Haskell is tedious