| idempotentIOProperty | Polysemy.Law |
| IfStuck | Polysemy.Internal.CustomErrors.Redefined |
| ignoreOutput | Polysemy.Output |
| ignoreTrace | Polysemy.Trace |
| InfiniteList | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| infiniteList | Polysemy.Law |
| infiniteListInternalData | Polysemy.Law |
| infiniteListOf | Polysemy.Law |
| inj | Polysemy.Internal.Union |
| injBundle | Polysemy.Bundle |
| injUsing | Polysemy.Internal.Union |
| injWeaving | Polysemy.Internal.Union |
| Input | |
| 1 (Type/Class) | Polysemy.Input |
| 2 (Data Constructor) | Polysemy.Input |
| input | Polysemy.Input |
| inputs | Polysemy.Input |
| inputToReader | Polysemy.Reader |
| inspect | Polysemy.Internal.Tactics, Polysemy |
| Inspector | |
| 1 (Type/Class) | Polysemy.Internal.Tactics, Polysemy |
| 2 (Data Constructor) | Polysemy.Internal.Tactics, Polysemy |
| intercept | Polysemy.Internal.Combinators, Polysemy |
| interceptH | Polysemy.Internal.Combinators, Polysemy |
| interceptUsing | Polysemy.Internal.Combinators, Polysemy.Membership |
| interceptUsingH | Polysemy.Internal.Combinators, Polysemy.Membership |
| interpret | Polysemy.Internal.Combinators, Polysemy |
| InterpreterFor | Polysemy.Internal, Polysemy |
| interpretFinal | Polysemy.Final |
| interpretH | Polysemy.Internal.Combinators, Polysemy |
| interpretViaLazyWriter | Polysemy.Internal.Writer |
| ioProperty | Polysemy.Law |
| isSuccess | Polysemy.Law |