Re: [GHC] #14831: QuantifiedConstraints: Odd superclass constraint