Numeric.Algebra.Unital
class Unital r
product
class UnitalAlgebra r a
class CounitalCoalgebra r c
class Bialgebra r a