-import TcEnv ( tcLookupClass, tcLookupGlobalId, newLocalId, badCon )
-import TcType ( TcType, TcTyVar, tcInstTyVars, newTyVarTy )
+import TcEnv ( tcLookupClass, tcLookupDataCon, tcLookupGlobalId, tcLookupId )
+import TcMType ( tcInstTyVars, newTyVarTy, unifyTauTy, unifyListTy, unifyTupleTy )
+import TcType ( isTauTy, mkTyConApp, mkClassPred, liftedTypeKind )