Scala erasure