| 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 |
| 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 |
| 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 |
| fromSF | Data.HBifunctor.Tensor, Data.Functor.Combinator |