My main problem with this implementation in python is that they are statements and not expressions. They would be a lot more natural to use if they were expressions, but python is a very statement oriented language. That is a thing I dislike about python.

From what I can tell adoption of them is very slow going in the python world despite it being a pretty good implementation of structural pattern matching. Pyright/pylance is also able to reason well around them.