úÎö9      !"#$%&'()*+,-./012345678 non-portable experimentalsjoerd@w3future.com Safe-Inferred-The higher order free functor for constraint c. Natural transformations.  counit = rightAdjunct id leftAdjunct f = f . unit9The free monad of a functor.  :;<9=   :;<9= non-portable experimentalsjoerd@w3future.comNone/The higher order cofree functor for constraint c. Natural transformations.  unit = leftAdjunct id rightAdjunct f = counit . f>!The cofree comonad of a functor. >?@AB  >?@AB non-portable experimentalsjoerd@w3future.comNone The free functor for constraint c. & counit = rightAdjunct id' leftAdjunct f = f . unit !"#$%&'()*+,-./0CDEFGHIJ !"#$%&'()*+,-./0 !"#$%&'()*+,-./0 !"#$%&'()*+,-./0CDEFGHIJ non-portable experimentalsjoerd@w3future.comNone1"The cofree functor for constraint c. 6 unit = leftAdjunct id7 rightAdjunct f = counit . f 12345678KLMN1234567812345678 12345678KLMNO             !"#$%&''  ( )*+,-./0123456789:;<=>?free-functors-0.3Data.Functor.HFreeData.Functor.HCofreeData.Functor.FreeData.Functor.CofreeHFreerunHFree:~>unit rightAdjunctcounit leftAdjuncthfmapliftFree lowerFreeconvertiterwrapHCofree liftCofree lowerCofreecoiterunwrap Coproduct InitialObject LiftAFree getLiftAFreeFreerunFree rightAdjunctF rightAdjunctT convertClosedinitial coproductinLinRproductfstPsndPCofree leftAdjunctF $fMonadHFree$fAlternativeHFree$fApplicativeHFree$fApplicativeHFree0$fFunctorHFree$fComonadHCofree$fTraversableHCofree$fFoldableHCofree$fFoldableHCofree0$fFunctorHCofree$fTraversableFree$fFoldableFree$fAlgebrasLiftAFree$fAlgebrafFree $fComonadFree $fMonadFree$fApplicativeFree $fFunctorFree $fMonadCofree$fApplicativeCofree$fComonadCofree$fFunctorCofree