Type class witnessing that C
is the difference of A
and B
.
Type class witnessing that Out
is the quotient of A
and B
.
Type class witnessing that A
is less than B
.
Type class witnessing that A
is less than or equal to B
.
Type class witnessing that Out
is A
min B
.
Typeclass witnessing that Out
is A
mod B
.
Type class witnessing that Out
is X
raised to the power N
.
Type class witnessing that B
is the predecessor of A
.
Type class witnessing that C
is the product of A
and B
.
Type class witnessing that C
is the sum of A
and B
.
Type class supporting conversion of type-level Nats to value level Ints.