úÎwc1      !"#$%&'()*+,-./0 non-portable experimentalEdward Kmett <ekmett@gmail.com>:Fokkinga's prepromorphism a (Base t)-algebra  fixed point result  A generalized postpromorphism Fokkinga's postpromorphism a (Base t)-coalgebra seed resulting fixed point 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 "1234#567Lambek'*s lemma provides a default definition for  in terms of  and   8The dual of Lambek'+s lemma, provides a default definition for   in terms of   and  $%)A distributive for semi-mutual recursion &'9()*Course-of-value iteration +,-Mendler-style iteration .(Mendler-style course-of-value iteration /Elgot algebras 0Elgot coalgebras:  0http://comonad.com/reader/2008/elgot-coalgebras/ 3 :; !"#$%&'()*+,-./01$&*+%',  ()!#"-./01   !"#$%&'()*+,-./0<      !"#$%&'()*+,-./0123456789:;recursion-schemes-0.2.2Data.Functor.FoldableBasePrimgprepropreprogparaparacataprojectFoldablegpostpropostproapoanaembed UnfoldableFixMuNudistPara distParaThylofoldunfoldrefoldgcatagfolddistCataganagunfolddistAnaghylogrefoldrefixzygodistZygogzygo distZygoTdistApodistGApohistoghisto distHistomcatamhistoelgotcoelgotunfixfixTyCon fixConstr fixDataTypetoFixfromFixlambekcolambekgapoNilCons