Well the erasure problems here just pointed out an issue of design. Even if overloading was possible here, it would have been confusing, I think.