úÎVv-      !"#$%&'()*+, non-portable experimentalEdward Kmett <ekmett@gmail.com>6a (Base t)-algebra  fixed point result 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 -./0123Lambek'*s lemma provides a default definition for  in terms of  and   4The dual of Lambek'+s lemma, provides a default definition for   in terms of  and  !)A distributive for semi-mutual recursion "#5$%&Course-of-value iteration '()Mendler-style iteration *(Mendler-style course-of-value iteration +Elgot algebras ,Elgot coalgebras:  0http://comonad.com/reader/2008/elgot-coalgebras/ / 67 !"#$%&'()*+,-   "&'!#( $%)*+,-      !"#$%&'()*+,8       !"#$%&'()*+,-./01234567recursion-schemes-0.2.1Data.Functor.FoldableBasePrimgparaparacataprojectFoldableapoanaembed UnfoldableFixMuNudistPara distParaThylofoldunfoldrefoldgcatagfolddistCataganagunfolddistAnaghylogrefoldrefixzygodistZygogzygo distZygoTdistApodistGApohistoghisto distHistomcatamhistoelgotcoelgotunfixfixTyCon fixConstr fixDataTypetoFixfromFixlambekcolambekgapoNilCons