| Family | Generics.MRSOP.Base.Class, Generics.MRSOP.Base |
| FamilyName | Generics.MRSOP.Base.Metadata, Generics.MRSOP.Base |
| FamRose | Generics.MRSOP.Examples.RoseTree |
| FamRoseInt | Generics.MRSOP.Examples.RoseTreeTH |
| FamStmtString | Generics.MRSOP.Examples.SimpTH |
| FamTerm | Generics.MRSOP.Examples.LambdaAlphaEqTH |
| FieldInfo | |
| 1 (Type/Class) | Generics.MRSOP.Base.Metadata, Generics.MRSOP.Base |
| 2 (Data Constructor) | Generics.MRSOP.Base.Metadata, Generics.MRSOP.Base |
| FieldName | Generics.MRSOP.Base.Metadata, Generics.MRSOP.Base |
| fieldName | Generics.MRSOP.Base.Metadata, Generics.MRSOP.Base |
| fill | Generics.MRSOP.Zipper |
| fillCtx | Generics.MRSOP.Zipper.Deep |
| fillCtxs | |
| 1 (Function) | Generics.MRSOP.Zipper |
| 2 (Function) | Generics.MRSOP.Zipper.Deep |
| fillNPHole | |
| 1 (Function) | Generics.MRSOP.Zipper |
| 2 (Function) | Generics.MRSOP.Zipper.Deep |
| first | Generics.MRSOP.Zipper |
| FIX | |
| 1 (Type/Class) | Generics.MRSOP.Examples.LambdaAlphaEqTH |
| 2 (Type/Class) | Generics.MRSOP.Examples.SimpTH |
| Fix | |
| 1 (Type/Class) | Generics.MRSOP.Base.Universe, Generics.MRSOP.Base |
| 2 (Data Constructor) | Generics.MRSOP.Base.Universe, Generics.MRSOP.Base |
| Fixity | Generics.MRSOP.Base.Metadata, Generics.MRSOP.Base |
| forgetAnn | Generics.MRSOP.AG |
| fromView | Generics.MRSOP.Base.Universe, Generics.MRSOP.Base |