úÎnSafe9:;<=JClass that yields F-algebra homomorphisms between mutually recursive types:Catamorphism collapsing mutually data types simultaneously=A micromorphism is an Elgot algebra specialized to unfolding.4recursion-schemes-ext-0.1.0.0-G5xlMtjtyhs7bhXDTobNbE Data.Foldable.Functor.ExtensionsdendrodicatamicrocataMSubHomhomo