> Type erasure in Java is actually a bad thing

I think it being overall a bad thing or a good thing is a matter of opinion. There's arguments for and against erasure, even if you ignore the motivation of backward compatibility, which was a key one in that case.