natural-number

This package provides a simple data structure for repesenting natural numbers with a type that is tagged with the type-level natural number corresponding to the value of the natural number.