Index - F
| Fail | |
| 1 (Data Constructor) | Effect.Fail |
| 2 (Data Constructor) | Logic.NextBind |
| fibonacciExample | Examples.Ltl.HigherOrder |
| finished | Logic.NextBind |
| firstPayments | Examples.Account.Scenarios |
| Fixpoint | |
| 1 (Type/Class) | Effect.Internal |
| 2 (Data Constructor) | Effect.Internal |
| flipBools | Examples.Ltl.HigherOrder |
| flipBoth | Examples.Ltl.HigherOrder |
| flipIntegers | Examples.Ltl.HigherOrder |
| Foo | |
| 1 (Type/Class) | Effect.THTests |
| 2 (Data Constructor) | Effect.THTests |
| foo | Effect.THTests |
| Freer | Effect.Internal |