| wcBody | Hyper.Unify.Constraints, Hyper.Unify |
| wcConstraint | Hyper.Unify.Constraints, Hyper.Unify |
| WithConstraint | |
| 1 (Type/Class) | Hyper.Unify.Constraints, Hyper.Unify |
| 2 (Data Constructor) | Hyper.Unify.Constraints, Hyper.Unify |
| withDict | Hyper |
| wrap | Hyper.Recurse |
| wrapM | Hyper.Recurse |
| W_ANode | Hyper.Combinator.ANode, Hyper |
| W_ANode_c | Hyper.Combinator.ANode, Hyper |
| W_App | Hyper.Syntax.App, Hyper.Syntax |
| W_App_expr | Hyper.Syntax.App, Hyper.Syntax |
| W_F | Hyper.Type.Functor |
| W_FlatRowExtends | Hyper.Syntax.Row |
| W_FlatRowExtends_rest | Hyper.Syntax.Row |
| W_FlatRowExtends_val | Hyper.Syntax.Row |
| W_FuncType | Hyper.Syntax.FuncType, Hyper.Syntax |
| W_FuncType_typ | Hyper.Syntax.FuncType, Hyper.Syntax |
| W_F_F_f | Hyper.Type.Functor |
| W_GTerm | Hyper.Unify.Generalize |
| W_GTerm_GTerm_v | Hyper.Unify.Generalize |
| W_HCompose | |
| 1 (Type/Class) | Hyper.Combinator.Compose |
| 2 (Data Constructor) | Hyper.Combinator.Compose |
| W_Lam | Hyper.Syntax.Lam, Hyper.Syntax |
| W_Lam_expr | Hyper.Syntax.Lam, Hyper.Syntax |
| W_Let | Hyper.Syntax.Let, Hyper.Syntax |
| W_Let_expr | Hyper.Syntax.Let, Hyper.Syntax |
| W_NominalDecl | Hyper.Syntax.Nominal |
| W_NominalDecl_typ | Hyper.Syntax.Nominal |
| W_Prune | Hyper.Type.Prune |
| W_Prune_Prune | Hyper.Type.Prune |
| W_Pure | Hyper.Type.Pure, Hyper |
| W_Pure_Pure | Hyper.Type.Pure, Hyper |
| W_RowExtend | Hyper.Syntax.Row |
| W_RowExtend_rest | Hyper.Syntax.Row |
| W_RowExtend_val | Hyper.Syntax.Row |
| W_Scheme | Hyper.Syntax.Scheme |
| W_Scheme_typ | Hyper.Syntax.Scheme |
| W_TermMap | Hyper.Syntax.Map |
| W_TermMap_expr | Hyper.Syntax.Map |
| W_ToNom | Hyper.Syntax.Nominal |
| W_ToNom_term | Hyper.Syntax.Nominal |
| W_TypedLam | Hyper.Syntax.TypedLam, Hyper.Syntax |
| W_TypedLam_expr | Hyper.Syntax.TypedLam, Hyper.Syntax |
| W_TypedLam_typ | Hyper.Syntax.TypedLam, Hyper.Syntax |
| W_TypeSig | Hyper.Syntax.TypeSig, Hyper.Syntax |
| W_TypeSig_Scheme_vars_TypeOf_term | Hyper.Syntax.TypeSig, Hyper.Syntax |
| W_TypeSig_term | Hyper.Syntax.TypeSig, Hyper.Syntax |