| Final |  | 
| 1 (Type/Class) | Data.HFunctor.Final, Data.Functor.Combinator | 
| 2 (Data Constructor) | Data.HFunctor.Final, Data.Functor.Combinator | 
| finalizing | Data.HFunctor.Final | 
| Flagged |  | 
| 1 (Type/Class) | Control.Applicative.Step, Data.Functor.Combinator | 
| 2 (Data Constructor) | Control.Applicative.Step, Data.Functor.Combinator | 
| flaggedFlag | Control.Applicative.Step, Data.Functor.Combinator | 
| flaggedVal | Control.Applicative.Step, Data.Functor.Combinator | 
| foldChain | Data.HFunctor.Chain | 
| foldChain1 | Data.HFunctor.Chain | 
| foldChain1A | Data.HFunctor.Chain | 
| foldChainA | Data.HFunctor.Chain | 
| foldDecAlt | Data.Functor.Invariant.Internative.Free | 
| foldDecAlt1 | Data.Functor.Invariant.Internative.Free | 
| foldDivAp | Data.Functor.Invariant.Inplicative.Free | 
| foldDivAp1 | Data.Functor.Invariant.Inplicative.Free | 
| foldFree | Control.Monad.Freer.Church | 
| foldFree' | Control.Monad.Freer.Church | 
| foldFree1 | Control.Monad.Freer.Church | 
| foldFree1' | Control.Monad.Freer.Church | 
| foldFree1C | Control.Monad.Freer.Church | 
| foldFreeC | Control.Monad.Freer.Church | 
| foldHFree | Data.HFunctor | 
| forI | Data.HFunctor.Interpret, Data.Functor.Combinator | 
| Free |  | 
| 1 (Type/Class) | Control.Monad.Freer.Church, Data.Functor.Combinator | 
| 2 (Data Constructor) | Control.Monad.Freer.Church | 
| Free1 |  | 
| 1 (Type/Class) | Control.Monad.Freer.Church, Data.Functor.Combinator | 
| 2 (Data Constructor) | Control.Monad.Freer.Church | 
| free1Comp | Control.Monad.Freer.Church | 
| FreeFunctorBy | Data.HFunctor.Final, Data.Functor.Combinator | 
| FreeOf | Data.HFunctor.Final, Data.Functor.Combinator | 
| fromAp | Data.Functor.Apply.Free | 
| fromChain1 | Data.HFunctor.Chain | 
| fromF | Control.Natural.IsoF | 
| fromFinal | Data.HFunctor.Final | 
| fromFree | Data.HFunctor.Final, Data.Functor.Combinator | 
| fromListF | Control.Applicative.ListF | 
| fromNE | Data.HBifunctor.Tensor, Data.Functor.Combinator | 
| FunctorBy | Data.HBifunctor.Associative, Data.Functor.Combinator |