Re: [GHC] #8234: Remove role annotations on type synonyms