@hackage / type-level-natural-number-operations

Basic operations on type-level natural numbers.