[adastra22]

We do that, and then people complain the type checker is too hard to satisfy, and go back to dynamic languages.