Index - F
| F2T | Data.Category.Boolean |
| FixF | Data.Category.Dialg |
| Fls | |
| 1 (Data Constructor) | Data.Category.Boolean |
| 2 (Type/Class) | Data.Category.Boolean |
| foldMap | Data.Category.Monoid |
| ForAll | |
| 1 (Type/Class) | Data.Category.Limit |
| 2 (Data Constructor) | Data.Category.Limit |
| ForgetMonoid | |
| 1 (Type/Class) | Data.Category.Monoid |
| 2 (Data Constructor) | Data.Category.Monoid |
| FreeMonoid | |
| 1 (Type/Class) | Data.Category.Monoid |
| 2 (Data Constructor) | Data.Category.Monoid |
| freeMonoidAdj | Data.Category.Monoid |
| fromYoneda | Data.Category.NaturalTransformation |
| Functor | Data.Category.Functor |
| FunctorCompose | |
| 1 (Type/Class) | Data.Category.NaturalTransformation |
| 2 (Data Constructor) | Data.Category.NaturalTransformation |