I don’t think sealed classes offer exhaustive pattern matching. Instead you have an if-else ladder of instanceof checks. This is not the same as most union type implementations.

They do with switch expressions. It is only type based for now, but deconstructs are coming with full blown pattern matching a la Haskell.