Re: [GHC] #3765: Rules should "look through" case binders too