| Failure | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic, Test.DejaFu |
| FairBound | |
| 1 (Data Constructor) | Test.DejaFu.SCT, Test.DejaFu |
| 2 (Type/Class) | Test.DejaFu.SCT, Test.DejaFu |
| fBacktrack | Test.DejaFu.SCT |
| fBound | Test.DejaFu.SCT |
| Fixed | |
| 1 (Type/Class) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| 2 (Type/Class) | Test.DejaFu.STM.Internal |
| Forgets | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| forgets | Test.DejaFu.Deterministic.Internal.Threading |
| Fork | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| fork | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkFinally | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkN | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkOn | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkOnN | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkOnWithUnmask | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkOnWithUnmaskN | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkWithUnmask | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkWithUnmaskN | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| fullknown | Test.DejaFu.Deterministic.Internal.Threading |