-import TcMonoType ( kcHsSigType, tcHsSigType, tcTyVars, checkSigTyVars )
-import TcExpr ( tcExpr )
-import TcEnv ( tcExtendLocalValEnv, tcExtendTyVarEnv )
-import Inst ( LIE, emptyLIE, plusLIEs, instToId )
-import Id ( idType, idName, mkVanillaId )
-import VarSet
-import Type ( tyVarsOfTypes, openTypeKind )
-import Bag ( bagToList )
+import TcMonoType ( tcHsSigType, UserTypeCtxt(..), tcAddScopedTyVars )
+import TcExpr ( tcMonoExpr )
+import TcEnv ( tcExtendLocalValEnv )
+import Inst ( instToId )
+import Id ( idType, mkLocalId )