That’s a pretty underspecified comment for a static typing enthusiast. You’re referring to polymorphism.

And to be completely clear: you can have safe polymorphism without type hierarchies via things like type inference.