Description
A Haskell library for a type inhabited by finitely many values, indexed by type-level naturals. It represents bounded values whose range is known in the type system.
Developers use it for safe indexing, fixed-size structures, proofs, and APIs where the number of possible values matters. Bounds should be preserved carefully when converting from runtime integers.