See Trac #13267 and Note [Instances and constraint synonyms]
in TcValidity.

We can't easily do a perfect job, because the rename is really trying
to do its lookup too early.  But this is at least an improvement.