-import Inst ( Inst, InstOrigin(..), newMethodWithGivenTy, instToId )
-import FunDeps ( grow )
-import TcUnify ( unifyKind, unifyOpenTypeKind )
-import Unify ( allDistinctTyVars )
-import Type ( Type, Kind, PredType(..), ThetaType, SigmaType, TauType,
+import TcType ( Type, Kind, SourceType(..), ThetaType, SigmaType, TauType,