| IdentityDiscriminator | Data.Effect.OpenUnion |
| identityMembership | Data.Effect.OpenUnion |
| IdentityResolver | Data.Effect.OpenUnion |
| In | Control.Monad.Hefty, Data.Effect.OpenUnion |
| Infinite | Control.Monad.Hefty, Data.Effect.HFunctor.TH, Data.Effect.TH |
| inject | Data.Effect.OpenUnion |
| interpose | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| interposeBy | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| interposeFor | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| interposeForBy | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| interposeForWith | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| interposeIn | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| interposeInBy | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| interposeInWith | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| interposeOn | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| interposeOnBy | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| interposeOnWith | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| interposeStateBy | Control.Monad.Hefty.Interpret.State, Control.Monad.Hefty |
| interposeStateForBy | Control.Monad.Hefty.Interpret.State, Control.Monad.Hefty |
| interposeStateInBy | Control.Monad.Hefty.Interpret.State, Control.Monad.Hefty |
| interposeWith | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| interpret | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| interpretAll | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| interpretBy | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| interprets | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| interpretsBy | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| interpretStateBy | Control.Monad.Hefty.Interpret.State, Control.Monad.Hefty |
| interpretWith | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |
| intVal | Data.Effect.OpenUnion |
| iterAllEff | Control.Monad.Hefty.Interpret, Control.Monad.Hefty |