RAlgebra

droste

RAlgebraM

droste

RCoalgebra

droste

RCoalgebraM

droste

roll

Coattr CoattrF

run

GAlgebra GAlgebraM GCoalgebra GCoalgebraM GTrans GTransM