3 ms·

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