Totally agreed. The reason to have variance annotations is the language becomes unusable without them. Thats why so many languages with object subtyping support

Totally agreed. The reason to have variance annotations is the language becomes unusable without them. Thats why so many languages with object subtyping support them.