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.Semimodule, Data.Semimodule.Free |
| FreeAlgebra | Data.Algebra |
| FreeBialgebra | Data.Algebra |
| FreeCoalgebra | Data.Algebra |
| FreeCounital | Data.Algebra |
| FreeModule | Data.Semimodule |
| FreeSemimodule | Data.Semimodule |
| FreeUnital | Data.Algebra |
| fromTran | Data.Semimodule.Transform |