> since compilers will check for exhaustiveness. That's not really required for pattern matching. Certainly makes it more useful, and most implementations have

> since compilers will check for exhaustiveness. That's not really required for pattern matching. Certainly makes it more useful, and most implementations have it, however.