Numeric.Algebra.Commutative
class Commutative r
class CommutativeAlgebra r a
class CocommutativeCoalgebra r c
class CommutativeBialgebra r h