úÎ!š7      !"#$%&'()*+,-./0123456(C) 2008-2013 Edward Kmett BSD-style (see the file LICENSE)Edward Kmett <ekmett@gmail.com> experimental non-portable Safe-Inferred!"*+234=HKM Fokkinga's postpromorphism A generalized postpromorphismFokkinga's prepromorphismA generalized catamorphismA generalized catamorphismA generalized anamorphismA generalized anamorphism!A generalized hylomorphism"A generalized hylomorphism71Lambek's lemma provides a default definition for   in terms of  and 8>The dual of Lambek's lemma, provides a default definition for  in terms of  and  .Course-of-value iteration2Mendler-style iteration3'Mendler-style course-of-value iteration4Elgot algebras5Elgot coalgebras: 0http://comonad.com/reader/2008/elgot-coalgebras/6!Zygohistomorphic prepromorphisms:&A corrected and modernized version of Chttp://www.haskell.org/haskellwiki/Zygohistomorphic_prepromorphisms90Example boring stub for non-recursive data types:0Example boring stub for non-recursive data typesZa (Base t)-coalgebraseedresulting fixed point a (Base t)-algebra fixed pointresult;<a distributive lawa (Base t)-w-algebra fixed pointa distributive lawa (Base t)-w-algebra fixed pointa distributive lawa (Base t)-m-coalgebraseeda distributive lawa (Base t)-m-coalgebraseed !"#$%=&>?78'((A distributive for semi-mutual recursion)*+,-./0123456@ABCDEFGHIJKLMNOPQR9ST:UVWXY9 ;< !"#$%&'()*+,-./01234567 +')./#(*01$%  ,-!&"23456J   !"#$%=&>?78'()*+,-./0123456@ABCDEFGHIJKLMNOPQR9ST:UVWXY<;Z      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYrecursion-schemes-4.1.2Data.Functor.FoldableNuMuFix UnfoldableembedanaapopostprogpostproFoldableprojectcataparagparapreprogpreproPrimBasedistPara distParaThylofoldunfoldrefoldgcatagfolddistCataganagunfolddistAnaghylogrefoldfutudistFutu distGFuturefixzygodistZygogzygo distZygoTgapodistApodistGApohistoghisto distHisto distGHistomcatamhistoelgotcoelgotzygoHistoPreprolambekcolambekTFCo:R:BaseEitherTFCo:R:BaseMaybeNilConsunfixtoFixfromFix$fReadNu$fShowNu$fOrdNu$fEqNu $fFoldableNu$fUnfoldableNu TFCo:R:BaseNu$fReadMu$fShowMu$fOrdMu$fEqMu$fUnfoldableMu $fFoldableMu TFCo:R:BaseMu$fUnfoldableFix $fFoldableFixTFCo:R:BaseFix$fUnfoldableEither$fFoldableEither$fUnfoldableMaybe$fFoldableMaybe$fUnfoldable[] $fFoldable[] TFCo:R:Base[] $fFunctorPrimTFCo:R:Prim[]b