Re: [GHC] #10499: Constraints should commute over ~