Tuple patterns with "switch"