toAlgebraM
AlgebraOps
toAtom
Composite
toCoalgebraM
CoalgebraOps