Re: [GHC] #12949: Pattern coverage mistake