Re: [GHC] #16377: `TypeError` in a pattern should flag inaccessible code