[Haskell] natural numbers