algebra-0.4.0: Constructive abstract algebra
Numeric.Algebra.Free
module Numeric.Algebra.Free.Class
module Numeric.Algebra.Free.Unital
module Numeric.Algebra.Free.Hopf