Java Generics, Type Erasure, and a conceptual idea: reified generics as a first-class citizen?

Java chose type erasure in Java 5 for valid reasons: binary compatibility, massive enterprise...