úÎåe6      !"#$%&'()*+,-./012345 non-portable experimentalEdward Kmett <ekmett@gmail.com>None 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 6Lambek'*s lemma provides a default definition for   in terms of  and  7The dual of Lambek'+s lemma, provides a default definition for  in terms of  and   -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 Va (Base t)-coalgebra seed resulting fixed point a (Base t)-algebra  fixed point result a 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 !"#$%89:;&<=67'()A distributive for semi-mutual recursion )*>+,-./012345?@ABCDEFGHIJKLMNOPQRSTU8 VW !"#$%&'()*+,-./0123456 ')-.#(*/0$%  +,!&"12345H   !"#$%89:;&<=67'()*>+,-./012345?@ABCDEFGHIJKLMNOPQRSTUX      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWrecursion-schemes-3.0Data.Functor.FoldableNuMuFix UnfoldableembedanaapopostprogpostproFoldableprojectcataparagparapreprogpreproPrimBasedistPara distParaThylofoldunfoldrefoldgcatagfolddistCataganagunfolddistAnaghylogrefoldfutudistFutu distGFuturefixzygodistZygogzygo distZygoTdistApodistGApohistoghisto distHisto distGHistomcatamhistoelgotcoelgotzygoHistoPreprolambekcolambekunfixfixTyCon fixConstr fixDataTypetoFixfromFixgapo$fReadNu$fShowNu$fOrdNu$fEqNu $fFoldableNu$fUnfoldableNu$fReadMu$fShowMu$fOrdMu$fEqMu$fUnfoldableMu $fFoldableMu$fUnfoldableFix $fFoldableFix $fDataFix $fTypeableFix$fUnfoldableEither$fFoldableEither$fUnfoldableMaybe$fFoldableMaybe$fUnfoldable[] $fFoldable[] $fFunctorPrimNilCons