Mi az a type erasure a Java generikusokban, és miért így csinálják?