Index - F
| Field | Data.Semifield |
| FieldLaw | Data.Semifield |
| fillE1 | Data.Semimodule.Basis |
| fillE2 | Data.Semimodule.Basis |
| fillE3 | Data.Semimodule.Basis |
| fillE4 | Data.Semimodule.Basis |
| Free | Data.Semiring, Data.Semimodule.Free |
| FreeAlgebra | Data.Semimodule |
| FreeBialgebra | Data.Semimodule |
| FreeCoalgebra | Data.Semimodule |
| FreeCounital | Data.Semimodule |
| FreeModule | Data.Semimodule |
| FreeSemimodule | Data.Semimodule |
| FreeUnital | Data.Semimodule |