Re: [GHC] #8978: Type synonyms in class associated types behave strangely (was: Type synonyms are not *exactly* synonyms)