I like using pattern matching as an if statement against the type system like the last example in this tutorial, where the author matches against the different

I like using pattern matching as an if statement against the type system like the last example in this tutorial, where the author matches against the different variants of an enum. I know this is not the case for the Python interpreter, but it has always amazed me how much types can narrow the code paths in generated assembly instructions.