Math.Algebras.Structures
class Mon m
class Algebra k b
class Coalgebra k b
class Bialgebra k b
class HopfAlgebra k b
unit'
counit'
data SetCoalgebra b
data MonoidCoalgebra m
class Module k a m
(*.)
class Comodule k c n