6      !"#$%&'()*+,-./012345 non-portable experimentalEdward Kmett <ekmett@gmail.com> Safe-Infered Fokkinga's postpromorphism A generalized postpromorphism Fokkinga's prepromorphism A generalized catamorphism A generalized catamorphism A generalized anamorphism A generalized anamorphism !A generalized hylomorphism "A generalized hylomorphism -Course-of-value iteration 1Mendler-style iteration 2(Mendler-style course-of-value iteration 3Elgot algebras 4Elgot coalgebras:  0http://comonad.com/reader/2008/elgot-coalgebras/ 5"Zygohistomorphic prepromorphisms: &A corrected and modernized version of  Chttp://www.haskell.org/haskellwiki/Zygohistomorphic_prepromorphisms Oa (Base t)-coalgebra seed resulting fixed point a (Base t)-algebra  fixed point result 67a distributive law a (Base t)-w-algebra  fixed point a distributive law a (Base t)-w-algebra  fixed point a distributive law a (Base t)-m-coalgebra seed a distributive law a (Base t)-m-coalgebra seed !"#$%&'()A distributive for semi-mutual recursion )*+,-./01234589:;<=>?@ABCDEFGHIJKLMN8 67 !"#$%&'()*+,-./0123456 ')-.#(*/0$%  +,"!&12345?   !"#$%&'()*+,-./01234589:;<=>?@ABCDEFGHIJKLMNO      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNrecursion-schemes-2.0.1Data.Functor.FoldableNuMuFix UnfoldableembedanaapopostprogpostproFoldableprojectcataparagparapreprogpreproPrimBasedistPara distParaThylofoldunfoldrefoldgcatagfolddistCataganagunfolddistAnaghylogrefoldfutudistFutu distGFuturefixzygodistZygogzygo distZygoTdistApodistGApohistoghisto distHisto distGHistomcatamhistoelgotcoelgotzygoHistoPreproNilCons$fReadNu$fShowNu$fOrdNu$fEqNu $fFoldableNu$fUnfoldableNu$fReadMu$fShowMu$fOrdMu$fEqMu$fUnfoldableMu $fFoldableMu$fUnfoldableFix $fFoldableFix $fDataFix $fTypeableFix$fUnfoldableEither$fFoldableEither$fUnfoldableMaybe$fFoldableMaybe$fUnfoldable[] $fFoldable[] $fFunctorPrim