import Name
import Outputable
import Maybes
-import Monad
import Unify
import Util
import SrcLoc
import BasicTypes
import Bag
+import Control.Monad
import Data.List
\end{code}
|| dataConCannotMatch inst_tys con)
inst_tys = tyConAppArgs data_ty
- unit_rhs = L loc $ ExplicitTuple [] Boxed
+ unit_rhs = mkLHsTupleExpr []
msg_lit = HsStringPrim $ mkFastString $
occNameString (getOccName sel_name)