Re: [GHC] #9183: GHC shouldn't expand constraint synonyms