> Type erasure in Java is actually a bad thing -- this is because generics were added after the fact

I'd argue it's a bad thing for Java-the-Language, but a good thing for Java-the-Platform and it's ability to support languages with more advanced typesystems but with interop with Java language code.