Coalgebra

recursion

CoalgebraM

recursion

CoalgebraOps

recursion

cata

Recursion

cataM

Recursion

coalgebraOps

recursion

coelgot

Recursion

cozip

CoalgebraOps