Re: [GHC] #13464: Pattern match checker runs even when not needed