| fillListProduct | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| FiniteAllFor | Data.Type.Witness.Specific.FiniteAllFor, Data.Type.Witness |
| finiteAllFor | Data.Type.Witness.Specific.FiniteAllFor, Data.Type.Witness |
| finiteCodomain | Data.Type.Witness.Specific.FiniteAllFor, Data.Type.Witness |
| finiteDomain | Data.Type.Witness.Specific.FiniteAllFor, Data.Type.Witness |
| finiteGetAllFor | Data.Type.Witness.Specific.FiniteAllFor, Data.Type.Witness |
| FiniteWitness | Data.Type.Witness.General.Finite, Data.Type.Witness |
| FirstElementType | Data.Type.Witness.Specific.List.Element, Data.Type.Witness |
| fixedFromList | Data.Type.Witness.Specific.FixedList, Data.Type.Witness |
| FixedList | Data.Type.Witness.Specific.FixedList, Data.Type.Witness |
| fixedListArrowSequence | Data.Type.Witness.Specific.FixedList, Data.Type.Witness |
| fixedListArrowSequence_ | Data.Type.Witness.Specific.FixedList, Data.Type.Witness |
| fixedListElement | Data.Type.Witness.Specific.FixedList, Data.Type.Witness |
| fromListElementWitness | Data.Type.Witness.General.ListElement, Data.Type.Witness |
| fromRepWitness | Data.Type.Witness.General.Representative, Data.Type.Witness |