;6      !"#$%&'()*+,-./012345 non-portable experimentalEdward Kmett <ekmett@gmail.com>?a (Base t)-coalgebra seed resulting fixed point Fokkinga's postpromorphism A generalized postpromorphism a (Base t)-algebra  fixed point result Fokkinga's prepromorphism A generalized catamorphism a distributive law a (Base t)-w-algebra  fixed point a distributive law a (Base t)-w-algebra  fixed point A generalized anamorphism a distributive law a (Base t)-m-coalgebra seed a distributive law a (Base t)-m-coalgebra seed !A generalized hylomorphism "#$%6789&:;<Lambek'*s lemma provides a default definition for   in terms of  and  =The dual of Lambek'+s lemma, provides a default definition for  in terms of  and   '()A distributive for semi-mutual recursion )*>+,-Course-of-value iteration ./01Mendler-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 8 ?@ !"#$%&'()*+,-./0123456 ')-.#(*/0$%  +,!&"123456     !"#$%&'()*+,-./012345A      !"#$%&'()*+,-./0123456789:;<=>?@recursion-schemes-2.0Data.Functor.FoldableNuMuFix UnfoldableembedanaapopostprogpostproFoldableprojectcataparagparapreprogpreproPrimBasedistPara distParaThylofoldunfoldrefoldgcatagfolddistCataganagunfolddistAnaghylogrefoldfutudistFutu distGFuturefixzygodistZygogzygo distZygoTdistApodistGApohistoghisto distHisto distGHistomcatamhistoelgotcoelgotzygoHistoPreprounfixfixTyCon fixConstr fixDataTypetoFixfromFixlambekcolambekgapoNilCons