3 -- This boot file exists only to tie the knot between
4 -- TcUnify and TcSimplify
6 unifyType :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM Coercion.CoercionI
7 zapToMonotype :: TcType.BoxyType -> TcRnTypes.TcM TcType.TcTauType
8 boxyUnify :: TcType.BoxyType -> TcType.BoxyType -> TcRnTypes.TcM Coercion.CoercionI