type-level-natural-number-operations

Basic operations on type-level natural numbers.

This package provides some basic operations that do not require the UndecideableInstances extension on type-level natural numbers. Specifically, this package provides the Plus and Minus type functions.