| iapply | Data.HFunctor.Interpret, Data.Functor.Combinator | 
| icollect | Data.HFunctor.Interpret, Data.Functor.Combinator | 
| icollect1 | Data.HFunctor.Interpret, Data.Functor.Combinator | 
| IdentityT |  | 
| 1 (Type/Class) | Data.Functor.Combinator | 
| 2 (Data Constructor) | Data.Functor.Combinator | 
| ifanout | Data.HFunctor.Interpret, Data.Functor.Combinator | 
| ifanout1 | Data.HFunctor.Interpret, Data.Functor.Combinator | 
| iget | Data.HFunctor.Interpret, Data.Functor.Combinator | 
| Inalt | Data.Functor.Invariant.Internative | 
| Inject | Data.HFunctor, Data.Functor.Combinator | 
| inject | Data.HFunctor, Data.Functor.Combinator | 
| injectChain | Data.HFunctor.Chain | 
| injectChain1 | Data.HFunctor.Chain | 
| injectContramap | Data.HFunctor, Data.Functor.Combinator | 
| injectMap | Data.HFunctor, Data.Functor.Combinator | 
| injectPost | Data.HFunctor.Route | 
| injectPre | Data.HFunctor.Route | 
| inL | Data.HBifunctor.Tensor, Data.Functor.Combinator | 
| Inplicative | Data.Functor.Invariant.Inplicative | 
| Inplus | Data.Functor.Invariant.Internative | 
| Inply | Data.Functor.Invariant.Inplicative | 
| inR | Data.HBifunctor.Tensor, Data.Functor.Combinator | 
| Internative | Data.Functor.Invariant.Internative | 
| Interpret | Data.HFunctor.Interpret, Data.Functor.Combinator | 
| interpret | Data.HFunctor.Interpret, Data.Functor.Combinator | 
| interpretFree | Control.Monad.Freer.Church | 
| interpretFree1 | Control.Monad.Freer.Church | 
| interpretLB | Data.HBifunctor.Tensor | 
| interpretNE | Data.HBifunctor.Associative | 
| interpretPost | Data.HFunctor.Route | 
| interpretPre | Data.HFunctor.Route | 
| intro1 |  | 
| 1 (Function) | Data.Functor.Contravariant.Night | 
| 2 (Function) | Data.Functor.Invariant.Night | 
| 3 (Function) | Data.HBifunctor.Tensor, Data.Functor.Combinator | 
| intro2 |  | 
| 1 (Function) | Data.Functor.Contravariant.Night | 
| 2 (Function) | Data.Functor.Invariant.Night | 
| 3 (Function) | Data.HBifunctor.Tensor, Data.Functor.Combinator | 
| isoF | Control.Natural.IsoF | 
| itraverse | Data.HFunctor.Interpret |