CVAlgebra

droste

CVCoalgebra

droste

Coalgebra

droste

CoalgebraM

droste

cofreeToRefTree

prelude