Re: [GHC] #10829: Simplification in the RHS of rules