Re: [GHC] #12949: Pattern coverage checker ignores dictionary arguments (was: Pattern coverage mistake)