Re: [GHC] #8978: Type synonyms in class associated types behave strangely