Toying with a language for natural numbers in Haskell