Index - _
| _binderId | IR.IR |
| _binderType | IR.IR |
| _bodyCon | IR.Constraint.Type |
| _content | IR.Constraint.Type |
| _copy | IR.Constraint.Type |
| _dconMap | IR.Constraint.Monad |
| _env | IR.Constraint.Solve |
| _errors | IR.Constraint.Solve |
| _externMap | IR.Constraint.Monad |
| _first | IR.Constraint.Unify |
| _firstDesc | IR.Constraint.Unify |
| _flex | IR.Constraint.Constrain.Annotation |
| _flexVars | IR.Constraint.Type |
| _freshCtr | IR.Constraint.Monad |
| _header | IR.Constraint.Type |
| _headerCon | IR.Constraint.Type |
| _headers | IR.Constraint.Constrain.Pattern |
| _kindMap | IR.Constraint.Monad |
| _mark | |
| 1 (Function) | IR.Constraint.Type |
| 2 (Function) | IR.Constraint.Solve |
| _rank | IR.Constraint.Type |
| _revCons | IR.Constraint.Constrain.Pattern |
| _rigidMap | IR.Constraint.Constrain.Annotation |
| _rigidVars | IR.Constraint.Type |
| _second | IR.Constraint.Unify |
| _secondDesc | IR.Constraint.Unify |
| _vars | IR.Constraint.Constrain.Pattern |