I already use vavr, sadly such pattern matching is not exhaustive, which is the most important feature for me.