> There was a lot of research in addressing these problems in the 90s, but for some reason none of that work has made it into any mainstream structurally typed

> There was a lot of research in addressing these problems in the 90s, but for some reason none of that work has made it into any mainstream structurally typed language today. I'm developing a structurally typed language now. Is there some research you could recommend me?