Value level information. The compiler statically knows the type that's being matched on. It's true that the generated code depends on the type, but that's not

Value level information. The compiler statically knows the type that's being matched on. It's true that the generated code depends on the type, but that's not any more true than when a C compiler generates an integer comparison vs a float comparison in the conditional of that "if". All that's looked at at runtime is the data.