> Fortunately there are already List functions like genericLength and > genericTake, which can handle such a number type. Shouldn't be Peano > numbers part of the standard libraries? Natural numbers are being discussed as a possible part of the new Haskell' standard. http://hackage.haskell.org/trac/haskell-prime/ticket/79 Jared.