* package:parameterized-utils

Multiplication of type-level naturals.