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