After reading the article, I propose this gist / title: "In high level programmming languages, you expect subtyping as a given", since we expect a lot of feat

After reading the article, I propose this gist / title: "In high level programmming languages, you expect subtyping as a given", since we expect a lot of features to work as if subtyping was the way it was implemented?