Cleaner typed handling with compiler-checked coverage over sealed variants.
Pattern matching in switch expressions removes repetitive `instanceof` plus casts, and sealed hierarchies let the compiler verify that every valid case is handled explicitly.