Re: [GHC] #7837: Rules involving equality constraints don't fire