-import Type ( mkTyVarTy, splitSigmaTy )
-import TyVar ( GenTyVar )
-import Unique ( Unique )
-import Util ( isIn, panic )
+import Type ( mkTyVarTys, mkForAllTys, splitSigmaTy,
+ tyVarsOfType, tyVarsOfTypes
+ )
+import TyVar ( tyVarSetToList, GenTyVar{-instance Eq-} )
+import Util ( isIn, panic, pprTrace{-ToDo:rm-} )
+import PprCore--ToDo:rm
+import PprType ( GenTyVar ) --ToDo:rm
+import Usage--ToDo:rm
+import Unique--ToDo:rm