Вариантность обобщенных типов в картинках и простых примерах

[Inferno2107]

Мне кажется, что тема не до конца раскрыта. Не понятно почему введены именно такие ограничения на операции чтения/записи в ко- и контравариантных коллекциях. Автор вначале статьи выделил то, что хочет дать интуицию, но примеров почему такие ограничения необходимы предоставлено не было.

[aleksandy]

https://www.youtube.com/watch?v=_0c9Fd9FacU

[nin-jin]

Тут до конца раскрыта: https://page.hyoo.ru/#!=3skw_ac25gk

[LeshaRB]

Вот где раскрыта
https://habr.com/ru/companies/sberbank/articles/416413/