* package:witness

Multiplication of type-level naturals.