| _ann | AST.Knot.Ann, AST |
| _anns | AST.Diff |
| _ANode | AST.Combinator.ANode, AST |
| _appArg | AST.Term.App |
| _appFunc | AST.Term.App |
| _bAnn | AST.Infer.Blame |
| _Binding | AST.Unify.Binding |
| _bRes | AST.Infer.Blame |
| _bVal | AST.Infer.Blame |
| _CommonBody | AST.Diff |
| _CommonBodyP | AST.Diff |
| _CommonSubTree | AST.Diff |
| _CommonSubTreeP | AST.Diff |
| _Compose | AST.Combinator.Compose |
| _ConstraintsViolation | AST.Unify.Error |
| _ContainedK | AST.Class.Traversable |
| _Different | AST.Diff |
| _DifferentP | AST.Diff |
| _eKey | AST.Term.Row |
| _eRest | AST.Term.Row |
| _eVal | AST.Term.Row |
| _F | AST.Knot.Functor |
| _Flip | AST.Combinator.Flip |
| _freExtends | AST.Term.Row |
| _freRest | AST.Term.Row |
| _FromNom | AST.Term.Nominal |
| _funcIn | AST.Term.FuncType |
| _funcOut | AST.Term.FuncType |
| _GBody | AST.Unify.Generalize |
| _GMono | AST.Unify.Generalize |
| _GPoly | AST.Unify.Generalize |
| _iAnn | AST.Infer.Term, AST.Infer |
| _InferChild | AST.Class.Infer, AST.Infer |
| _inRep | AST.Class.Infer, AST.Infer |
| _inType | AST.Class.Infer, AST.Infer |
| _iRes | AST.Infer.Term, AST.Infer |
| _iVal | AST.Infer.Term, AST.Infer |
| _lamIn | AST.Term.Lam |
| _lamOut | AST.Term.Lam |
| _letEquals | AST.Term.Let |
| _letIn | AST.Term.Let |
| _letVar | AST.Term.Let |
| _Mismatch | AST.Unify.Error |
| _nArgs | AST.Term.Nominal |
| _nId | AST.Term.Nominal |
| _nParams | AST.Term.Nominal |
| _nScheme | AST.Term.Nominal |
| _Occurs | AST.Unify.Error |
| _Pure | AST.Knot.Pure, AST |
| _QVarInstances | AST.Term.Scheme |
| _QVars | AST.Term.Scheme |
| _Scope | AST.Term.NamelessScope |
| _ScopeLevel | AST.Infer.ScopeLevel, AST.Infer |
| _ScopeTypes | AST.Term.NamelessScope |
| _ScopeVar | AST.Term.NamelessScope |
| _sForAlls | AST.Term.Scheme |
| _SkolemEscape | AST.Unify.Error |
| _SkolemUnified | AST.Unify.Error |
| _STUVar | AST.Unify.Binding.ST |
| _sTyp | AST.Term.Scheme |
| _TermMap | AST.Term.Map |
| _tlIn | AST.Term.TypedLam |
| _tlInType | AST.Term.TypedLam |
| _tlOut | AST.Term.TypedLam |
| _tnId | AST.Term.Nominal |
| _tnVal | AST.Term.Nominal |
| _tsTerm | AST.Term.TypeSig |
| _tsType | AST.Term.TypeSig |
| _uBody | AST.Unify.Term |
| _uConstraints | AST.Unify.Term |
| _UConverted | AST.Unify.Term |
| _UInstantiated | AST.Unify.Term |
| _UResolved | AST.Unify.Term |
| _UResolving | AST.Unify.Term |
| _USkolem | AST.Unify.Term |
| _UTerm | AST.Unify.Term |
| _UToVar | AST.Unify.Term |
| _UUnbound | AST.Unify.Term |
| _UVar | AST.Unify.Binding |
| _val | |
| 1 (Function) | AST.Knot.Ann, AST |
| 2 (Function) | AST.Diff |
| _Var | AST.Term.Var |
| _wcBody | AST.Unify.Constraints, AST.Unify |
| _wcConstraint | AST.Unify.Constraints, AST.Unify |