algebra-0.4.0: Constructive abstract algebra
Numeric.Monoid
module Numeric.Semigroup
module Numeric.Monoid.Additive
module Numeric.Monoid.Multiplicative