Re: [GHC] #11248: Ambiguous Types with Constraint Synonyms