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