| TC | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| Term | Language.Haskell.FreeTheorems.Theorems |
| TermApp | Language.Haskell.FreeTheorems.Theorems |
| TermComp | Language.Haskell.FreeTheorems.Theorems |
| TermIns | Language.Haskell.FreeTheorems.Theorems |
| TermVar | Language.Haskell.FreeTheorems.Theorems |
| TermVariable | Language.Haskell.FreeTheorems.Theorems |
| TF | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| Theorem | Language.Haskell.FreeTheorems.Theorems |
| TheoremType | Language.Haskell.FreeTheorems |
| Total | Language.Haskell.FreeTheorems.Theorems |
| TV | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TVar | Language.Haskell.FreeTheorems.Theorems |
| Type | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeAbs | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeAbsLab | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeClass | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeCon | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeConstructor | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeDecl | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeDeclaration | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeExp | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeExpression | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| typeExpressionNameStore | Language.Haskell.FreeTheorems.NameStores |
| TypeFun | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeFunLab | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| typeName | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| typeNameStore | Language.Haskell.FreeTheorems.NameStores |
| typeRhs | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeSig | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeVar | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeVariable | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| typeVars | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |