- package:typenums

The difference of two type-level numbers For the difference of two naturals a and b, a-b is also a natural, so only exists for a >= b.