| wcBody | AST.Unify.Constraints, AST.Unify |
| wcConstraint | AST.Unify.Constraints, AST.Unify |
| WithConstraint | |
| 1 (Type/Class) | AST.Unify.Constraints, AST.Unify |
| 2 (Data Constructor) | AST.Unify.Constraints, AST.Unify |
| wrap | AST.Recurse |
| wrapM | AST.Recurse |
| W_Ann_Ann_a | AST.Knot.Ann |
| W_App_expr | AST.Term.App |
| W_FlatRowExtends_rest | AST.Term.Row |
| W_FlatRowExtends_val | AST.Term.Row |
| W_FuncType_typ | AST.Term.FuncType, AST.Term.Lam, AST.Term.App, AST.Term.NamelessScope |
| W_F_F_f | AST.Knot.Functor |
| W_Lam_expr | AST.Term.Lam |
| W_Let_expr | AST.Term.Let |
| W_Pure_Pure | AST.Knot.Pure, AST, AST.Unify.Generalize, AST.Term.Row, AST.Term.Map, AST.Term.FuncType, AST.Term.Scheme, AST.Term.TypeSig, AST.Term.Nominal, AST.Term.Let, AST.Term.Lam, AST.Term.App, AST.Term.NamelessScope |
| W_RowExtend_rest | AST.Term.Row |
| W_RowExtend_val | AST.Term.Row |
| W_Scheme_typ | AST.Term.Scheme, AST.Term.TypeSig, AST.Term.Nominal |
| W_ScopeTypes_t | AST.Term.NamelessScope |
| W_Scope_expr_Maybe_a | AST.Term.NamelessScope |
| W_TermMap_expr | AST.Term.Map |
| W_ToNom_term | AST.Term.Nominal |
| W_TypeSig_Scheme_vars_TypeOf_term | AST.Term.TypeSig |
| W_TypeSig_term | AST.Term.TypeSig |