That's the thing though isn't it. C++ didn't add type erasure to the language, it added compile time reflection and said have at it.