| _anns | Hyper.Diff |
| _ANode | Hyper.Combinator.ANode, Hyper |
| _appArg | Hyper.Type.AST.App |
| _appFunc | Hyper.Type.AST.App |
| _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.Type.AST.Row |
| _eRest | Hyper.Type.AST.Row |
| _eVal | Hyper.Type.AST.Row |
| _F | Hyper.Type.Functor |
| _freExtends | Hyper.Type.AST.Row |
| _freRest | Hyper.Type.AST.Row |
| _FromNom | Hyper.Type.AST.Nominal |
| _funcIn | Hyper.Type.AST.FuncType |
| _funcOut | Hyper.Type.AST.FuncType |
| _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.Type.AST.Lam |
| _lamOut | Hyper.Type.AST.Lam |
| _letEquals | Hyper.Type.AST.Let |
| _letIn | Hyper.Type.AST.Let |
| _letVar | Hyper.Type.AST.Let |
| _Mismatch | |
| 1 (Function) | Hyper.Unify.Error |
| 2 (Function) | Hyper.Infer.Blame |
| _nArgs | Hyper.Type.AST.Nominal |
| _nId | Hyper.Type.AST.Nominal |
| _nParams | Hyper.Type.AST.Nominal |
| _nScheme | Hyper.Type.AST.Nominal |
| _Occurs | Hyper.Unify.Error |
| _Pruned | Hyper.Type.Prune |
| _Pure | Hyper.Type.Pure, Hyper |
| _QVarInstances | Hyper.Type.AST.Scheme |
| _QVars | Hyper.Type.AST.Scheme |
| _ScopeLevel | Hyper.Infer.ScopeLevel, Hyper.Infer |
| _sForAlls | Hyper.Type.AST.Scheme |
| _SkolemEscape | Hyper.Unify.Error |
| _SkolemUnified | Hyper.Unify.Error |
| _STUVar | Hyper.Unify.Binding.ST |
| _sTyp | Hyper.Type.AST.Scheme |
| _TermMap | Hyper.Type.AST.Map |
| _tlIn | Hyper.Type.AST.TypedLam |
| _tlInType | Hyper.Type.AST.TypedLam |
| _tlOut | Hyper.Type.AST.TypedLam |
| _tnId | Hyper.Type.AST.Nominal |
| _tnVal | Hyper.Type.AST.Nominal |
| _tsTerm | Hyper.Type.AST.TypeSig |
| _tsType | Hyper.Type.AST.TypeSig |
| _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.Type.AST.Var |
| _wcBody | Hyper.Unify.Constraints, Hyper.Unify |
| _wcConstraint | Hyper.Unify.Constraints, Hyper.Unify |