../Sort ⩓ { additive : ../../Monoid/Sort, multiplicative : ../../Monoid/Sort }