This seems like an apology for the unforgivable: type erasure is a language implementation detail, and thus it shouldn't affect language users. A user might wan

This seems like an apology for the unforgivable: type erasure is a language implementation detail, and thus it shouldn't affect language users. A user might want to choose an implementation that uses monomorphization for performance reasons, or an implementation that doesn't erase types for debuggability reasons. But the language implementor's choice to use type erasure shouldn't affect the meaning of code written by language users.