3 import TcType ( TcTauType, BoxySigmaType )
4 import TcRnTypes( TcM )
6 -- This boot file exists only to tie the knot between
7 -- TcUnify and TcSimplify
9 unifyType :: TcTauType -> TcTauType -> TcM ()
10 zapToMonotype :: BoxySigmaType -> TcM TcTauType