Restricts to types modeling an additive monoid. More...
Restricts to types modeling an additive monoid.