úÎPÔ0      !"#$%&'()*+,-./ non-portable experimentalsjoerd@w3future.com Safe-Inferred-The higher order free functor for constraint c. Natural transformations.  counit = rightAdjunct id leftAdjunct f = f . unit0The free monad of a functor.  12304   12304 non-portable experimentalsjoerd@w3future.comNone/The higher order cofree functor for constraint c. Natural transformations.  unit = leftAdjunct id rightAdjunct f = counit . f5!The cofree comonad of a functor. 56789  56789 non-portable experimentalsjoerd@w3future.comNone The free functor for constraint c. $ counit = rightAdjunct id% leftAdjunct f = f . unit !"#$%&':;<=>? !"#$%&' !"#$%&' !"#$%&':;<=>? non-portable experimentalsjoerd@w3future.comNone("The cofree functor for constraint c. - unit = leftAdjunct id. rightAdjunct f = counit . f ()*+,-./@ABC()*+,-./()*+,-./ ()*+,-./@ABCD                !"#$%&'()*+,-./01234free-functors-0.2Data.Functor.HFreeData.Functor.HCofreeData.Functor.FreeData.Functor.CofreeHFreerunHFree:~>unit rightAdjunctcounit leftAdjuncthfmapliftFree lowerFreeconvertiterwrapHCofree liftCofree lowerCofreecoiterunwrap LiftAFree getLiftAFreeFreerunFree rightAdjunctF rightAdjunctT convertClosedCofree leftAdjunctF $fMonadHFree$fAlternativeHFree$fApplicativeHFree$fApplicativeHFree0$fFunctorHFree$fComonadHCofree$fTraversableHCofree$fFoldableHCofree$fFoldableHCofree0$fFunctorHCofree$fTraversableFree$fFoldableFree $fComonadFree $fMonadFree$fApplicativeFree $fFunctorFree $fMonadCofree$fApplicativeCofree$fComonadCofree$fFunctorCofree