On Mon, 11 Jan 2016, M Farkas-Dyck wrote:
I have seen these redefined many times now. Examples: https://hackage.haskell.org/package/numericpeano-0.2.0.0/docs/Numeric-Peano.... https://hackage.haskell.org/package/numeric-prelude-0.4.2/docs/Number-Peano.... https://hackage.haskell.org/package/type-fun-0.0.1/docs/TypeFun-Data-Peano.h... https://hackage.haskell.org/package/number-0.1.1.0/docs/Data-Number-Peano.ht... https://hackage.haskell.org/package/Peano-0.0.4/docs/Data-Peano.html#t:Peano
Type-level Peano number are also contained in: https://hackage.haskell.org/package/tfp-1.0.0.2/docs/Type-Data-Num-Unary.htm... and data-level Peano numbers in this playground module: http://code.haskell.org/~thielema/htam/src/Number/PeanoNumber.hs I'd prefer that 'base' shrinks rather than grows. If we find that people like one implementation most, you could bless it by adding it to the Haskell platform. You might add a comparison of the packages to the Wiki page: https://wiki.haskell.org/Peano_numbers