Index - F
| F2T | Data.Category.Boolean |
| falseCoproductComonoid | Data.Category.Boolean |
| falseCoproductMonoid | Data.Category.Boolean |
| falseProductComonoid | Data.Category.Boolean |
| FixF | Data.Category.Dialg |
| Fls | |
| 1 (Type/Class) | Data.Category.Boolean |
| 2 (Data Constructor) | Data.Category.Boolean |
| foldMap | Data.Category.Monoid |
| ForgetAlg | |
| 1 (Data Constructor) | Data.Category.Dialg |
| 2 (Type/Class) | Data.Category.Dialg |
| ForgetMonoid | |
| 1 (Data Constructor) | Data.Category.Monoid |
| 2 (Type/Class) | Data.Category.Monoid |
| FreeAlg | |
| 1 (Data Constructor) | Data.Category.Dialg |
| 2 (Type/Class) | Data.Category.Dialg |
| FreeMonoid | |
| 1 (Data Constructor) | Data.Category.Monoid |
| 2 (Type/Class) | Data.Category.Monoid |
| freeMonoidAdj | Data.Category.Monoid |
| fromYoneda | Data.Category.Yoneda |
| Functor | Data.Category.Functor |
| FunctorCompose | |
| 1 (Data Constructor) | Data.Category.NaturalTransformation |
| 2 (Type/Class) | Data.Category.NaturalTransformation |