| Handler | Control.Effect.Carrier.Internal.Interpret, Control.Effect |
| HandlerC | |
| 1 (Type/Class) | Control.Effect.Carrier.Internal.Interpret |
| 2 (Data Constructor) | Control.Effect.Carrier.Internal.Interpret |
| HandlerCState | |
| 1 (Type/Class) | Control.Effect.Carrier.Internal.Interpret |
| 2 (Data Constructor) | Control.Effect.Carrier.Internal.Interpret |
| HeadEff | Control.Effect.Carrier.Internal.Intro, Control.Effect |
| HeadEffs | Control.Effect.Carrier.Internal.Intro, Control.Effect |
| Here | Control.Effect.Internal.Membership, Control.Effect.Union, Control.Effect.Carrier |
| Hoist | Control.Effect.Internal.Regional, Control.Effect.Regional |
| hoist | Control.Effect.Regional |
| HoistC | |
| 1 (Type/Class) | Control.Effect.Internal.Regional, Control.Effect.Regional |
| 2 (Data Constructor) | Control.Effect.Internal.Regional |
| HoistCall | |
| 1 (Type/Class) | Control.Effect.Internal.Regional |
| 2 (Data Constructor) | Control.Effect.Internal.Regional |
| HoistH | Control.Effect.Internal.Regional |
| HoistOption | Control.Effect.Internal.Optional, Control.Effect.Optional |
| hoistOption | Control.Effect.Optional |
| HoistOptionC | |
| 1 (Type/Class) | Control.Effect.Internal.Optional, Control.Effect.Optional |
| 2 (Data Constructor) | Control.Effect.Internal.Optional |
| HoistOptionCall | |
| 1 (Type/Class) | Control.Effect.Internal.Optional, Control.Effect.Optional |
| 2 (Data Constructor) | Control.Effect.Internal.Optional, Control.Effect.Optional |
| HoistOptionH | Control.Effect.Internal.Optional |
| hoistOptionToFinal | Control.Effect.Optional |
| HoistOptionToFinalC | Control.Effect.Optional |
| hoistToFinal | Control.Effect.Regional |
| HoistToFinalC | Control.Effect.Regional |
| HoistToFinalH | Control.Effect.Internal.Regional |