Make the pattern matching exhaustive