-- This boot file exists only to tie the knot between
-- TcUnify and TcSimplify
-unifyTauTy :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM ()
+unifyType :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM ()
+zapToMonotype :: TcType.BoxyType -> TcRnTypes.TcM TcType.TcTauType