Locally suppressed 'pattern-matching is not exhaustive' warning