| send | Effectful.Internal.Monad, Effectful.Dispatch.Dynamic |
| SeqUnlift | Effectful.Internal.Unlift, Effectful.Internal.Monad, Effectful |
| seqUnlift | Effectful.Internal.Unlift |
| seqUnliftIO | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| SharedSuffix | Effectful.Dispatch.Dynamic |
| SideEffects | Effectful.Internal.Env, Effectful.Dispatch.Static |
| sizeEnv | Effectful.Internal.Env, Effectful.Dispatch.Static.Primitive |
| some | Effectful.NonDet |
| State | |
| 1 (Type/Class) | Effectful.State.Static.Local |
| 2 (Type/Class) | Effectful.State.Static.Shared |
| 3 (Type/Class) | Effectful.State.Dynamic |
| 4 (Data Constructor) | Effectful.State.Dynamic |
| state | |
| 1 (Function) | Effectful.State.Static.Local |
| 2 (Function) | Effectful.State.Static.Shared |
| 3 (Function) | Effectful.State.Dynamic |
| stateEnv | Effectful.Internal.Env, Effectful.Dispatch.Static.Primitive, Effectful.Internal.Monad |
| StateM | Effectful.State.Dynamic |
| stateM | |
| 1 (Function) | Effectful.State.Static.Local |
| 2 (Function) | Effectful.State.Static.Shared |
| 3 (Function) | Effectful.State.Dynamic |
| stateStaticRep | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| stateStaticRepM | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| Static | Effectful.Internal.Env, Effectful |
| StaticRep | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| stEffects | Effectful.Internal.Env |
| Storage | |
| 1 (Type/Class) | Effectful.Internal.Env |
| 2 (Data Constructor) | Effectful.Internal.Env |
| stRelinkers | Effectful.Internal.Env |
| stSize | Effectful.Internal.Env |
| stVersion | Effectful.Internal.Env |
| stVersions | Effectful.Internal.Env |
| Subset | Effectful.Internal.Effect, Effectful.Internal.Monad, Effectful |
| subsetFullyKnown | Effectful.Internal.Effect |
| subsume | Effectful.Internal.Monad, Effectful |
| subsumeEnv | Effectful.Internal.Env |
| sumEff | Effectful.NonDet |