-import Name ( Name, getSrcLoc )
-import Var ( TyVar )
-import Class ( Class, FunDep, pprFundeps, classTvsFds )
-import TcGadt ( tcUnifyTys, BindFlag(..) )
-import Type ( substTys, notElemTvSubst )
-import Coercion ( isEqPred )
-import TcType ( Type, PredType(..), tcEqType,
- predTyUnique, mkClassPred, tyVarsOfTypes, tyVarsOfPred )
-import InstEnv ( Instance(..), InstEnv, instanceHead, classInstances,
- instanceCantMatch, roughMatchTcs )