- package:witness

Subtraction of type-level naturals.