úÎ!?Å?      !"#$%&'()*+,-./0123456789:;<=>None 456>EHSVXY  recursionA map of \( F \)-coalgebras  recursion'A map of \( F \)-algebras (pseudoprism) recursion&Catamorphism. Folds a structure. (see  Qhttp://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.41.125&rep=rep1&type=pdfhere) recursion7Anamorphism, meant to build up a structure recursively. recursion Base functor for a list of type [a]:. | Hylomorphism; fold a structure while buildiung it up. recursionVPrepromorphism. Fold a structure while applying a natural transformation at each step. recursionWPostpromorphism. Build up a structure, applying a natural transformation along the way. recursionA mutumorphism.  recursion\Catamorphism collapsing along two data types simultaneously. Basically a fancy zygomorphism.! recursionZygomorphism (see  -http://www.iis.sinica.edu.tw/~scm/pub/mds.pdfhere for a neat example)" recursion Paramorphism# recursion]Gibbons' metamorphism. Tear down a structure, transform it, and then build up a new structure$ recursion›Erwig's metamorphism. Essentially a hylomorphism with a natural transformation in between. This allows us to use more than one functor in a hylomorphism.% recursionMendler's catamorphism& recursionMendler's histomorphism' recursionElgot algebra (see  https://arxiv.org/abs/cs/0609040 this paper)( recursion(Anamorphism allowing shortcuts. Compare *) recursionElgot coalgebra* recursionApomorphism. Compare (.-  !"#$%&'()*+,- !"*')(#$ &%+, ?      !"#$%&'()*+,-./0123456789:;<=(recursion-2.0.0.0-8MMijQH3gYoEUaLqcKrr8TControl.RecursionMuNuFixunFix NonEmptyFListFConsNilLensTrans Corecursiveembed RecursiveprojectBasecataanahylocataMzygoMzygoM'anaMhyloMlambekcolambekprepropostpromutudicatazygoparametameta'mcatamhistoelgotmicrocoelgotapohoistrefix$fRecursiveNatural$fCorecursiveNatural$fCorecursive[] $fRecursive[]$fCorecursiveNonEmpty$fRecursiveNonEmpty$fCorecursiveFix$fRecursiveFix$fCorecursiveNu $fRecursiveNu$fCorecursiveMu $fRecursiveMu$fFunctorListF$fFoldableListF$fTraversableListF$fFunctorNonEmptyF$fFoldableNonEmptyF$fTraversableNonEmptyF