Basic Peano numbers in Haskell