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