Description
Haskell code gains a Haskell 98-compatible natural-number type and related helpers. It is useful for projects that need non-negative integer abstractions while staying within older Haskell language constraints.
This is a small development library, not an application. Correctness still depends on how the consuming program handles conversions, bounds, and numeric assumptions.