Re: [GHC] #2893: Implement "Quantified contexts" proposal