I agree what you're saying, but they were talking about Python and TypeScript - it doesn't make sense to bring up type erasure in this context.