| _anns | Hyper.Diff |
| _ANode | Hyper.Combinator.ANode, Hyper |
| _appArg | Hyper.Syntax.App, Hyper.Syntax |
| _appFunc | Hyper.Syntax.App, Hyper.Syntax |
| _Binding | Hyper.Unify.Binding |
| _CommonBody | Hyper.Diff |
| _CommonBodyP | Hyper.Diff |
| _CommonSubTree | Hyper.Diff |
| _CommonSubTreeP | Hyper.Diff |
| _ConstraintsViolation | Hyper.Unify.Error |
| _ContainedH | Hyper.Class.Traversable |
| _Different | Hyper.Diff |
| _DifferentP | Hyper.Diff |
| _eKey | Hyper.Syntax.Row |
| _eRest | Hyper.Syntax.Row |
| _eVal | Hyper.Syntax.Row |
| _F | Hyper.Type.Functor |
| _freExtends | Hyper.Syntax.Row |
| _freRest | Hyper.Syntax.Row |
| _FromNom | Hyper.Syntax.Nominal |
| _funcIn | Hyper.Syntax.FuncType, Hyper.Syntax |
| _funcOut | Hyper.Syntax.FuncType, Hyper.Syntax |
| _GBody | Hyper.Unify.Generalize |
| _GMono | Hyper.Unify.Generalize |
| _Good | Hyper.Infer.Blame |
| _GPoly | Hyper.Unify.Generalize |
| _hAnn | Hyper.Combinator.Ann, Hyper |
| _HCompose | Hyper.Combinator.Compose, Hyper |
| _HFlip | Hyper.Combinator.Flip, Hyper |
| _HFunc | Hyper.Combinator.Func, Hyper |
| _hVal | Hyper.Combinator.Ann, Hyper |
| _HWitness | Hyper.Class.Nodes, Hyper |
| _InferChild | Hyper.Class.Infer, Hyper.Infer |
| _InferResult | Hyper.Infer.Result, Hyper.Infer |
| _inRep | Hyper.Class.Infer, Hyper.Infer |
| _inType | Hyper.Class.Infer, Hyper.Infer |
| _lamIn | Hyper.Syntax.Lam, Hyper.Syntax |
| _lamOut | Hyper.Syntax.Lam, Hyper.Syntax |
| _letEquals | Hyper.Syntax.Let, Hyper.Syntax |
| _letIn | Hyper.Syntax.Let, Hyper.Syntax |
| _letVar | Hyper.Syntax.Let, Hyper.Syntax |
| _Mismatch | |
| 1 (Function) | Hyper.Unify.Error |
| 2 (Function) | Hyper.Infer.Blame |
| _nArgs | Hyper.Syntax.Nominal |
| _nId | Hyper.Syntax.Nominal |
| _nParams | Hyper.Syntax.Nominal |
| _nScheme | Hyper.Syntax.Nominal |
| _Occurs | Hyper.Unify.Error |
| _Pruned | Hyper.Type.Prune |
| _Pure | Hyper.Type.Pure, Hyper |
| _QVarInstances | Hyper.Syntax.Scheme |
| _QVars | Hyper.Syntax.Scheme |
| _ScopeLevel | Hyper.Infer.ScopeLevel, Hyper.Infer |
| _sForAlls | Hyper.Syntax.Scheme |
| _SkolemEscape | Hyper.Unify.Error |
| _SkolemUnified | Hyper.Unify.Error |
| _STUVar | Hyper.Unify.Binding.ST |
| _sTyp | Hyper.Syntax.Scheme |
| _TermMap | Hyper.Syntax.Map |
| _tlIn | Hyper.Syntax.TypedLam, Hyper.Syntax |
| _tlInType | Hyper.Syntax.TypedLam, Hyper.Syntax |
| _tlOut | Hyper.Syntax.TypedLam, Hyper.Syntax |
| _tnId | Hyper.Syntax.Nominal |
| _tnVal | Hyper.Syntax.Nominal |
| _tsTerm | Hyper.Syntax.TypeSig, Hyper.Syntax |
| _tsType | Hyper.Syntax.TypeSig, Hyper.Syntax |
| _uBody | Hyper.Unify.Term |
| _uConstraints | Hyper.Unify.Term |
| _UConverted | Hyper.Unify.Term |
| _UInstantiated | Hyper.Unify.Term |
| _Unpruned | Hyper.Type.Prune |
| _UResolved | Hyper.Unify.Term |
| _UResolving | Hyper.Unify.Term |
| _USkolem | Hyper.Unify.Term |
| _UTerm | Hyper.Unify.Term |
| _UToVar | Hyper.Unify.Term |
| _UUnbound | Hyper.Unify.Term |
| _UVar | Hyper.Unify.Binding |
| _val | Hyper.Diff |
| _Var | Hyper.Syntax.Var, Hyper.Syntax |
| _wcBody | Hyper.Unify.Constraints, Hyper.Unify |
| _wcConstraint | Hyper.Unify.Constraints, Hyper.Unify |