úÎ!SiG      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFNone 456>EHSVX½  recursionA map of \( F \)-coalgebras  recursion'A map of \( F \)-algebras (pseudoprism) recursion$CatamorÆsm. Folds a structure. (see  Qhttp://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.41.125&rep=rep1&type=pdfhere) recursion5AnamorÆsm, meant to build up a structure recursively. recursion Base functor for a list of type [a]8. | HylomorÆsm; fold a structure while buildiung it up.# recursionTPrepromorÆsm. Fold a structure while applying a natural transformation at each step.$ recursionUPostpromorÆsm. Build up a structure, applying a natural transformation along the way.% recursion A mutumorÆsm.( recursion8CatamorÆsm collaÈng along two data types simultaneously.) recursionZygomorÆsm (see  -http://www.iis.sinica.edu.tw/~scm/pub/mds.pdfhere for a neat example)* recursion ParamorÆsm+ recursion[Gibbons' metamorÆsm. Tear down a structure, transform it, and then build up a new structure, recursion•Erwig's metamorÆsm. Essentially a hylomorÆsm with a natural transformation in between. This allows us to use more than one functor in a hylomorÆsm.- recursionMendler's catamorÆsm. recursionMendler's histomorÆsm/ recursionElgot algebra (see  https://arxiv.org/abs/cs/0609040 this paper)0 recursion&AnamorÆsm allowing shortcuts. Compare 21 recursionCo-(Elgot algebra)2 recursionApomorÆsm. Compare 0.5  !"#$%&'()*+,-./012345 #$%)*2/10+,(.- &'!"34 G      !"#$%&'()*+,-./0123456789:;<=>?@ABCDE(recursion-2.1.0.0-KMCP8acKiFoJVNaiYOzoe2Control.RecursionMuNuFixunFix NonEmptyFListFConsNilLensTrans Corecursiveembed RecursiveprojectBasecataanahylocataMparaMzygoMzygoM'scolioMscolioM'anaMhyloMelgotMmicroMcoelgotMlambekcolambekprepropostpromutumutuMmutuM'scoliozygoparametameta'mcatamhistoelgotmicrocoelgotapohoistrefix$fRecursiveNatural$fCorecursiveNatural$fCorecursive[] $fRecursive[]$fCorecursiveNonEmpty$fRecursiveNonEmpty$fCorecursiveFix$fRecursiveFix$fCorecursiveNu $fRecursiveNu$fCorecursiveMu $fRecursiveMu$fFunctorListF$fFoldableListF$fTraversableListF$fFunctorNonEmptyF$fFoldableNonEmptyF$fTraversableNonEmptyF