yeah. You're right. The case matching looks type safe, but it is really a runtime check in 2.9. I think in 2.10 the matcher is smarter and may be able to see this.