-import TcEnv ( tcLookupClass )
-import TcHsType ( tcHsSigType, UserTypeCtxt( DefaultDeclCtxt ) )
-import TcSimplify ( tcSimplifyDefault )
-import TcType ( Type, mkClassPred, isTauTy )
-import PrelNames ( numClassName )
-import SrcLoc ( Located(..) )