+tyVarsOfInert :: InertSet -> TcTyVarSet
+tyVarsOfInert (IS { inert_eqs = eqs
+ , inert_dicts = dictmap
+ , inert_ips = ipmap
+ , inert_funeqs = funeqmap }) = tyVarsOfCanonicals cts
+ where cts = eqs `andCCan` cCanMapToBag dictmap
+ `andCCan` cCanMapToBag ipmap `andCCan` cCanMapToBag funeqmap
+