| many | Control.Effect.Alt |
| mapConcurrently | Control.Effect.Conc |
| mapConcurrently_ | Control.Effect.Conc |
| mapUnViaAlgT | Control.Effect.Internal.ViaAlg |
| mapViaAlgT | Control.Effect.Internal.ViaAlg |
| Mask | |
| 1 (Type/Class) | Control.Effect.Type.Mask, Control.Effect.Mask |
| 2 (Data Constructor) | Control.Effect.Type.Mask, Control.Effect.Mask |
| mask | Control.Effect.Mask |
| MaskMode | Control.Effect.Type.Mask, Control.Effect.Mask |
| maskToIO | Control.Effect.Mask |
| MaskToIOC | Control.Effect.Mask |
| mask_ | Control.Effect.Mask |
| Member | Control.Effect.Internal.Membership, Control.Effect |
| Members | Control.Effect.Internal.Union |
| membership | Control.Effect.Internal.Membership, Control.Effect.Union, Control.Effect.Carrier |
| mfix | Control.Effect.Fix |
| modify | Control.Effect.State |
| modify' | Control.Effect.State |
| MonadBase | Control.Effect.Internal.Derive, Control.Effect, Control.Effect.Carrier |
| MonadBaseControl | Control.Effect.Internal.Derive, Control.Effect.Carrier, Control.Effect.BaseControl |
| MonadBaseControlPure | Control.Effect.Type.Unlift, Control.Effect.Unlift |
| MonadCatch | Control.Effect.Internal.Derive, Control.Effect.Carrier, Control.Effect.ErrorIO, Control.Effect.Error, Control.Effect.Exceptional |
| MonadFail | Control.Effect.Internal.Derive, Control.Effect.Carrier |
| MonadFix | Control.Effect.Internal.Derive, Control.Effect.Fix, Control.Effect.Carrier |
| MonadIO | Control.Effect.Internal.Derive, Control.Effect.Carrier |
| MonadMask | Control.Effect.Internal.Derive, Control.Effect.Mask, Control.Effect.Bracket, Control.Effect.Carrier, Control.Effect.Writer |
| MonadPlus | Control.Effect.Internal.Derive, Control.Effect.Carrier |
| MonadThrow | Control.Effect.Internal.Derive, Control.Effect.Carrier |
| MonadTrans | Control.Effect.Internal.Derive, Control.Effect, Control.Effect.Carrier |
| MonadTransControl | Control.Effect.Internal.Derive, Control.Effect.Carrier |
| MonadTransControlPure | Control.Effect.Type.Unlift |
| More | Control.Effect.Carrier.Internal.Stepped, Control.Effect.Stepped |