Data.TypeLevel.Num.Ops
Successor/Predecessor
Addition/Subtraction
Multiplication/Division
Special efficiency cases
Exponientiation/Logarithm
Special efficiency cases
Comparison assertions
General comparison assertion
Type-level values denoting comparison results
Abbreviated comparison assertions
Maximum/Minimum
Greatest Common Divisor