| ImplBidir | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| implBidir | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| ImplicitParamBindD | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| implicitParamBindD | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| ImplicitParams | Language.Haskell.TH.LanguageExtensions, Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| ImplicitParamT | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| implicitParamT | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| ImplicitParamVarE | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| implicitParamVarE | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| ImplicitPrelude | Language.Haskell.TH.LanguageExtensions, Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| ImportF | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| ImportQualifiedPost | Language.Haskell.TH.LanguageExtensions, Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| ImpredicativeTypes | Language.Haskell.TH.LanguageExtensions, Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| Incoherent | Language.Haskell.TH.Syntax, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| IncoherentInstances | Language.Haskell.TH.LanguageExtensions, Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| InferR | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| inferR | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| InferredSpec | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| inferredSpec | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| Infix | Language.Haskell.TH.Syntax | 
| infixApp | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| InfixC | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| infixC | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| InfixD | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| InfixE | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| infixE | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| InfixL | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| infixLD | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| InfixN | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| infixND | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| InfixP | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| infixP | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| InfixPatSyn | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| infixPatSyn | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| InfixR | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| infixRD | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| InfixT | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| infixT | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| Info | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| InfoQ | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| InjectivityAnn |  | 
| 1 (Type/Class) | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| 2 (Data Constructor) | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| 3 (Type/Class) | Language.Haskell.TH.Lib.Internal | 
| injectivityAnn | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| Inlinable | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| Inline |  | 
| 1 (Data Constructor) | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| 2 (Type/Class) | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| InlineP | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| InstanceD | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| instanceD | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| InstanceDec | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| InstanceSigs | Language.Haskell.TH.LanguageExtensions, Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| instanceWithOverlapD | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| int | Language.Haskell.TH.PprLib | 
| integer | Language.Haskell.TH.PprLib | 
| IntegerL | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| integerL | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| Interruptible | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| interruptible | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| InterruptibleFFI | Language.Haskell.TH.LanguageExtensions, Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| IntPrimL | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| intPrimL | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| isEmpty | Language.Haskell.TH.PprLib | 
| isExtEnabled | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| isInstance | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| isStarT | Language.Haskell.TH.Ppr | 
| isStrict | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| isSymOcc | Language.Haskell.TH.Ppr |