Next up for patterns: type patterns in switch