Re: [GHC] #12703: Expand Backpack's signature matching relation beyond definitional equality