úÎ!³KN      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNone4568>@AEHSUVX—  recursion Base functor for a list of type [a]. 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. recursion5Hylomorphism; 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.' 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 histomorÆsm- recursionElgot algebra (see  https://arxiv.org/abs/cs/0609040 this paper). recursion(Anamorphism allowing shortcuts. Compare 0/ recursionCo-(Elgot algebra)0 recursionApomorphism. Compare ..1 recursion Hypomorphism.2 recursionShould satisfy: 2 N = O 6  !"#$%&'()*+,-./0123456  !"#'(01-/.)*&,+$% 4523P      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNLOPQ(recursion-2.2.3.0-3QNgkGz1wqq8xemz3WflcRControl.RecursionMuNuFixunFix NonEmptyFListFConsNil Corecursiveembed RecursiveprojectBasecataanahylocataMparaMzygoMzygoM'scolioMscolioM'anaMhyloMelgotMmicroMcoelgotMlambekcolambekprepropostpromutumutuMmutuM'scoliozygoparametameta'mcatamhistoelgotmicrocoelgotapohypo transverse cotransversehoistrefix$fHCoerce:+::+:$fHCoerce:*::*: $fHCoerceV1V1 $fHCoerceU1U1 $fHCoerceK1K1 $fHCoerceM1M1$fCorecursiveFix$fCorecursiveNonEmpty$fCorecursive[]$fCorecursiveMu$fCorecursiveNu$fCorecursiveNatural$fRecursiveFix$fRecursiveNonEmpty $fRecursive[] $fRecursiveMu $fRecursiveNu$fRecursiveNatural$fFunctorListF$fFoldableListF$fTraversableListF$fFunctorNonEmptyF$fFoldableNonEmptyF$fTraversableNonEmptyFbaseData.Traversable sequenceAGHC.Basepure