| iap | Control.Functor.Indexed, Control.Monad.Indexed |
| iapIxMonad | Control.Monad.Indexed |
| ibind | Control.Monad.Indexed |
| Ideal | Control.Monad.Ideal |
| ideal | Control.Monad.Ideal |
| idealize | Control.Monad.Ideal |
| identityBialgebraB | Control.Functor.Fix |
| identityBialgebraF | Control.Functor.Fix |
| idl | Control.Category.Monoidal, Control.Category.Cartesian |
| idr | Control.Category.Monoidal, Control.Category.Cartesian |
| iduplicate | Control.Comonad.Indexed |
| iextend | Control.Comonad.Indexed |
| iextract | Control.Functor.Indexed, Control.Comonad.Indexed |
| iget | Control.Monad.Indexed.State |
| igets | Control.Monad.Indexed.State |
| ijoin | Control.Monad.Indexed |
| ilift | Control.Monad.Indexed.Trans |
| imap | Control.Functor.Indexed, Control.Monad.Indexed, Control.Comonad.Indexed |
| imfix | Control.Monad.Indexed.Fix |
| imodify | Control.Monad.Indexed.State |
| implus | Control.Monad.Indexed |
| improveCofree | Control.Comonad.Density |
| improveFree | Control.Monad.Codensity |
| imzero | Control.Monad.Indexed |
| InB | Control.Functor.Fix |
| index | Control.Comonad.Pointer |
| InF | Control.Functor.Fix |
| inFree | Control.Monad.Free |
| InH | Control.Functor.HigherOrder |
| initiate | Control.Category.Object |
| inl | Control.Category.Cartesian |
| inr | Control.Category.Cartesian |
| Interpreter | Control.Functor.KanExtension.Interpreter |
| interpreterAlgebra | Control.Functor.KanExtension.Interpreter |
| InterpreterT | Control.Functor.KanExtension.Interpreter |
| invDiscrete | Control.Category.Discrete |
| inW | Control.Functor.Fix |
| iput | Control.Monad.Indexed.State |
| ireturn | Control.Functor.Indexed, Control.Monad.Indexed |
| isMap | Control.Allegory |
| isSimple | Control.Allegory |
| isTotal | Control.Allegory |
| IxApplicative | Control.Functor.Indexed, Control.Monad.Indexed |
| IxComonad | Control.Comonad.Indexed |
| IxCont | |
| 1 (Type/Class) | Control.Monad.Indexed.Cont |
| 2 (Data Constructor) | Control.Monad.Indexed.Cont |
| IxContT | |
| 1 (Type/Class) | Control.Monad.Indexed.Cont |
| 2 (Data Constructor) | Control.Monad.Indexed.Cont |
| IxCopointed | Control.Functor.Indexed, Control.Comonad.Indexed |
| IxFunctor | Control.Functor.Indexed, Control.Monad.Indexed, Control.Comonad.Indexed |
| IxMonad | Control.Monad.Indexed |
| IxMonadCont | Control.Monad.Indexed.Cont |
| IxMonadFix | Control.Monad.Indexed.Fix |
| IxMonadPlus | Control.Monad.Indexed |
| IxMonadState | Control.Monad.Indexed.State |
| IxMonadTrans | Control.Monad.Indexed.Trans |
| IxMonadZero | Control.Monad.Indexed |
| IxPointed | Control.Functor.Indexed, Control.Monad.Indexed |
| IxState | |
| 1 (Type/Class) | Control.Monad.Indexed.State |
| 2 (Data Constructor) | Control.Monad.Indexed.State |
| IxStateT | |
| 1 (Type/Class) | Control.Monad.Indexed.State |
| 2 (Data Constructor) | Control.Monad.Indexed.State |