It's a different kind of ugly, but you can use the Visitor pattern to get the same exhaustiveness checking at compile time without a library.