Natural number
-
Why don't you just use http://hackage.haskell.org/package/base/docs/Numeric-Natural.html ?
The
basepackage integrates with the Haskell numeric type-classes, at the cost of safety. It also does not take advantage of thelenspackage as a dependency.