úηU>      !"#$%&'()*+,-./0123456789:;<=Safe9:;<= 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 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      None23457:<=DR$We call our co-dependent data types  and #. They represent mutually recursive/"Dendromorphism collapsing the tree00We get two dendromorphisms for the price of one!1:Catamorphism, which collapses the tree, but not very well.2-Another catamorphism that is stupid and lame. !"#$>*+,-.?@/012345678A!$"#*+.,-/012*+,-.!"#$/102!"#$>*+,-.?@/012345678AB      !""#$%&'()**+,-./0123456789:;<=>?@A4recursion-schemes-ext-0.1.0.4-52WslUf16CTLGRtiZ5urC6 Data.Functor.Foldable.ExtensionsData.Functor.Foldable.ExamplesDummydummyCoSubHomhomoCocoswitchSubTypeswitchSubHomhomo symplectochemadendro dendroTridicatamicrocataMErnieMultiplyListBertNumStringAdd $fShowErnie $fEqErnie$fGenericErnie $fNFDataErnie $fShowBert$fEqBert $fGenericBert $fNFDataBertErnieF MultiplyFListF$fCorecursiveErnie$fRecursiveErnie$fFunctorErnieF$fFoldableErnieF$fTraversableErnieFBertFNumFStringFAddFcollapseErnieSyntaxTreecollapseBertSyntaxTreecollapseErnieSyntaxTree'collapseBertSyntaxTree'$fSubTypeErnie$fSubHomBertFErnieFBertErnie $fSubTypeBert$fSubHomErnieFBertFErnieBert $fDummyErnie $fDummyBert$fCorecursiveBert$fRecursiveBert$fFunctorBertF$fFoldableBertF$fTraversableBertF D:R:BaseErnie bertAlgebra ernieAlgebra D:R:BaseBert