| SafeError | Control.Effect.Exceptional |
| SafeErrorC | Control.Effect.Exceptional |
| safeErrorToError | Control.Effect.Exceptional |
| SafeErrorToErrorC | Control.Effect.Exceptional |
| safeErrorToErrorIO | Control.Effect.Exceptional |
| SafeErrorToErrorIOC | Control.Effect.Exceptional |
| SafeErrorToErrorIOC' | Control.Effect.Exceptional |
| safeErrorToErrorIOSimple | Control.Effect.Exceptional |
| SafeErrorToErrorIOSimpleC | Control.Effect.Exceptional |
| safeErrorToIO | Control.Effect.Exceptional |
| SafeErrorToIOC | Control.Effect.Exceptional |
| SafeErrorToIOC' | Control.Effect.Exceptional |
| safeErrorToIOSimple | Control.Effect.Exceptional |
| SafeErrorToIOSimpleC | Control.Effect.Exceptional |
| sameMember | Control.Effect.Internal.Membership |
| SatisfiesAll | Control.Effect.Internal |
| SCons | Control.Effect.Internal.KnownList |
| Select | |
| 1 (Type/Class) | Control.Effect.Select |
| 2 (Data Constructor) | Control.Effect.Select |
| select | Control.Effect.Select |
| SelectC | Control.Effect.Select |
| SelectFastC | Control.Effect.Select |
| SEnd | Control.Effect.Internal.KnownList |
| send | Control.Effect.Internal, Control.Effect |
| sendStepped | Control.Effect.Carrier.Internal.Stepped |
| Shift | |
| 1 (Type/Class) | Control.Effect.Internal.Cont, Control.Effect.Cont |
| 2 (Data Constructor) | Control.Effect.Internal.Cont, Control.Effect.Cont |
| shift | Control.Effect.Cont |
| ShiftC | |
| 1 (Type/Class) | Control.Effect.Internal.Cont, Control.Effect.Cont |
| 2 (Data Constructor) | Control.Effect.Internal.Cont |
| ShiftFastC | |
| 1 (Type/Class) | Control.Effect.Internal.Cont, Control.Effect.Cont |
| 2 (Data Constructor) | Control.Effect.Internal.Cont |
| SimpleInterpreterFor | Control.Effect |
| singList | Control.Effect.Internal.KnownList |
| SList | Control.Effect.Internal.KnownList |
| some | Control.Effect.Alt |
| SomeException | Control.Effect.ErrorIO |
| Split | |
| 1 (Type/Class) | Control.Effect.Type.Split, Control.Effect.NonDet |
| 2 (Data Constructor) | Control.Effect.Type.Split, Control.Effect.NonDet |
| split | |
| 1 (Function) | Control.Monad.Trans.List.Church |
| 2 (Function) | Control.Effect.NonDet |
| split' | Control.Monad.Trans.List.Church |
| splitMembership | Control.Effect.Internal.KnownList |
| State | Control.Effect.Internal.State, Control.Effect.State |
| state | Control.Effect.State |
| state' | Control.Effect.State |
| StateC | |
| 1 (Type/Class) | Control.Effect.Internal.State, Control.Effect.State |
| 2 (Data Constructor) | Control.Effect.Internal.State |
| StateLazyC | |
| 1 (Type/Class) | Control.Effect.Internal.State, Control.Effect.State |
| 2 (Data Constructor) | Control.Effect.Internal.State |
| StateLazyThreads | Control.Effect.Internal.State, Control.Effect.State |
| StateThreads | Control.Effect.Internal.State, Control.Effect.State, Control.Effect.Fresh |
| stateToIO | Control.Effect.State |
| stateToIOSimple | Control.Effect.State |
| SteppedC | |
| 1 (Type/Class) | Control.Effect.Carrier.Internal.Stepped, Control.Effect.Stepped, Control.Effect.Intercept |
| 2 (Data Constructor) | Control.Effect.Carrier.Internal.Stepped |
| SteppedThreads | Control.Effect.Carrier.Internal.Stepped, Control.Effect.Stepped, Control.Effect.Intercept |
| Steps | Control.Effect.Carrier.Internal.Stepped, Control.Effect.Stepped |
| steps | Control.Effect.Carrier.Internal.Stepped, Control.Effect.Stepped |
| StM | Control.Effect.BaseControl |
| StripPrefix | Control.Effect.Internal.KnownList, Control.Effect.Carrier |
| subsume | Control.Effect.Internal, Control.Effect |
| SubsumeC | |
| 1 (Type/Class) | Control.Effect.Internal, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Internal |