| *>> | Data.Functor.Indexed |
| <<$>> | Data.Functor.Indexed |
| <<* | Data.Functor.Indexed |
| <<*>> | Data.Functor.Indexed |
| =<<< | Control.Monad.Indexed |
| >>>= | Control.Monad.Indexed |
| iap | Data.Functor.Indexed, Control.Monad.Indexed |
| iapIxMonad | Control.Monad.Indexed |
| ibind | Control.Monad.Indexed |
| iduplicate | Control.Comonad.Indexed |
| iextend | Control.Comonad.Indexed |
| iextract | Data.Functor.Indexed, Control.Comonad.Indexed |
| ijoin | Control.Monad.Indexed |
| ilift | Control.Monad.Indexed.Trans |
| imap | Data.Functor.Indexed, Control.Monad.Indexed, Control.Comonad.Indexed |
| imfix | Control.Monad.Indexed.Fix |
| implus | Control.Monad.Indexed |
| imzero | Control.Monad.Indexed |
| ireturn | Data.Functor.Indexed, Control.Monad.Indexed |
| IxApplicative | Data.Functor.Indexed, Control.Monad.Indexed |
| IxComonad | Control.Comonad.Indexed |
| IxCopointed | Data.Functor.Indexed, Control.Comonad.Indexed |
| IxFunctor | Data.Functor.Indexed, Control.Monad.Indexed, Control.Comonad.Indexed |
| IxMonad | Control.Monad.Indexed |
| IxMonadFix | Control.Monad.Indexed.Fix |
| IxMonadPlus | Control.Monad.Indexed |
| IxMonadTrans | Control.Monad.Indexed.Trans |
| IxMonadZero | Control.Monad.Indexed |
| IxPointed | Data.Functor.Indexed, Control.Monad.Indexed |