| 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 |
| Inject | Data.HFunctor, Data.Functor.Combinator |
| inject | Data.HFunctor, Data.Functor.Combinator |
| injectChain | Data.HFunctor.Chain |
| injectChain1 | Data.HFunctor.Chain |
| inL | Data.HBifunctor.Tensor, Data.Functor.Combinator |
| inR | Data.HBifunctor.Tensor, Data.Functor.Combinator |
| 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 |
| intro1 | |
| 1 (Function) | Data.Functor.Contravariant.Night |
| 2 (Function) | Data.HBifunctor.Tensor, Data.Functor.Combinator |
| 3 (Function) | Data.Functor.Invariant.Night |
| 4 (Function) | Data.Functor.Invariant.Day |
| intro2 | |
| 1 (Function) | Data.Functor.Contravariant.Night |
| 2 (Function) | Data.HBifunctor.Tensor, Data.Functor.Combinator |
| 3 (Function) | Data.Functor.Invariant.Night |
| 4 (Function) | Data.Functor.Invariant.Day |
| isoF | Control.Natural.IsoF |