> A lot of JVM-based languages are required to introduce additional complexity in the language to simulate reified generics (e.g. Scala's Manifest/TypeTag class

> A lot of JVM-based languages are required to introduce additional complexity in the language to simulate reified generics (e.g. Scala's Manifest/TypeTag classes). I'm not sure how this makes sense. These tags are just standard context bounds, which are extremely useful and quite awesome. You make it sound as if these tags were some kind of special feature added to the language, or context bounds were solely invented to support these tags.