úÎ!ƒB      !"#$%&'()*+,-./0123456789:;<=>?@ANone9:;<=0We need this class to make type resolution work.MClass that yields g-coalgebra homomorphisms between mutually recursive types.;Homomorphism of g-coalgebras paramterized by an f-coalgebraResolve nested functionsResolve nested functions.KClass that yields g-algebra homomorphisms between mutually recursive types.7Homomorphism of g-algebras parametrized by an f-algebra TEntangle two hylomorphisms. Not the same thing as a symplectomorphism from geometry. 8A dendromorphism allows us to entangle two catamorphisms Entangle three base functors. \Catamorphism collapsing along two data types simultaneously. Basically a fancy zygomorphism.=A micromorphism is an Elgot algebra specialized to unfolding.A monadic catamorphismA monadic anamorphismA monadic hylomorphism  A g-algebra A g-coalgebra An f-algebraAn f-coalgebra  dummy typeA (Base t)-algebraA (Base t')-algebra  dummy typeanother dummy typeA (Base t'')-algebra      None9:;<=.Make the abscissae a subtype of the ordinates."Entangle two functors, creating a B instance. Note that this is rather strict with regards to naming.None23457:<=DR$We call our co-dependent data types  and #. They represent mutually recursive<#Dendromorphism collapsing the tree.=0We get two dendromorphisms for the price of one!>:Catamorphism, which collapses the tree, but not very well.?-Another catamorphism that is stupid and lame.%&'(B./01234C:DE<=>?@%(&'./201<=>?./012%&'(<>=?%&'(B./01234C:DE<=>?@F      !"#$%&''()*+,-.//0123456789:;<=>?@ABCDEF4recursion-schemes-ext-0.1.1.0-BWHaii5bKZoAPabDaZjVdp Data.Functor.Foldable.Extensions#Data.Functor.Foldable.Extensions.THData.Functor.Foldable.ExamplesDummydummyCoSubHomhomoCocoswitchSubTypeswitchSubHomhomo symplectochemadendro dendroTridicatamicrocataManaMhyloMentangleFunctors entanglePairErnieMultiplyListBertNumStringAdd $fShowErnie $fEqErnie$fGenericErnie $fNFDataErnie $fShowBert$fEqBert $fGenericBert $fNFDataBertErnieF MultiplyFListF$fCorecursiveErnie$fRecursiveErnie$fFunctorErnieF$fFoldableErnieF$fTraversableErnieFBertFNumFStringFAddF $fDummyErnie $fDummyBert$fCorecursiveBert$fRecursiveBert$fFunctorBertF$fFoldableBertF$fTraversableBertF $fSubTypeBert$fSubHomErnieFBertFErnieBertcollapseErnieSyntaxTreecollapseBertSyntaxTreecollapseErnieSyntaxTree'collapseBertSyntaxTree'$fSubTypeErnie$fSubHomBertFErnieFBertErnie D:R:BaseErnie D:R:BaseBert bertAlgebra ernieAlgebra