| id | Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic |
| IfSemantic | Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic |
| ifSemantic | Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic |
| IfThenElse | Symantic.Syntaxes.Data, Symantic.Syntaxes, Symantic |
| ifThenElse | Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic |
| IfThenElseable | Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic |
| infer | Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic |
| Inferable | Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic |
| Infix | |
| 1 (Type/Class) | Symantic.Semantics.Viewer.Fixity |
| 2 (Data Constructor) | Symantic.Semantics.Viewer.Fixity |
| infixB | Symantic.Semantics.Viewer.Fixity |
| infixL | Symantic.Semantics.Viewer.Fixity |
| infixN | Symantic.Semantics.Viewer.Fixity |
| infixN0 | Symantic.Semantics.Viewer.Fixity |
| infixN5 | Symantic.Semantics.Viewer.Fixity |
| infixR | Symantic.Semantics.Viewer.Fixity |
| infix_associativity | Symantic.Semantics.Viewer.Fixity |
| infix_precedence | Symantic.Semantics.Viewer.Fixity |
| int | Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic |
| Iso | |
| 1 (Type/Class) | Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic |
| 2 (Data Constructor) | Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic |
| IsoFunctor | Symantic.Syntaxes.Classes, Symantic.Syntaxes, Symantic |
| isPairNeeded | Symantic.Semantics.Viewer.Fixity |
| IsToF | Symantic.Syntaxes.TuplesOfFunctions, Symantic.Syntaxes, Symantic |