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