-import TcSimplify ( tcSimplifyToDicts, tcSimplifyInferCheck )
-import TcMType ( newFlexiTyVarTy, zonkQuantifiedTyVar, tcSkolSigTyVars )
-import TcType ( tyVarsOfTypes, openTypeKind, SkolemInfo(..), substTyWith, mkTyVarTys )
-import TcHsType ( UserTypeCtxt(..), tcHsPatSigType )
-import TcExpr ( tcMonoExpr )
-import TcEnv ( tcExtendIdEnv, tcExtendTyVarEnv )
-import Inst ( instToId )
-import Id ( idType, mkLocalId )
-import Name ( Name )
-import SrcLoc ( noLoc, unLoc )