Re: [GHC] #10499: Constraints should commute over ~ (was: Constraints should associate over ~)