Just for completeness:

```scala
  def switchBad2(i: Tag)(j: i.type): Int = j match {
```