По наследованию мне кажется очень иллюстративным кэрролловский Снарк. Но это оффтопом, гм.

>Если мы пообещали выдать кому-то животное и выдаем кота - это ковариантность.
>Если кто-то требует от нас животное и мы выдаем ему кота - это контравариантность.
Не всекаю сходу тонкую разницу между "обещали" и "требуют". На котах для меня слишком сложно.
https://habr.com/ru/post/218753/ мне кажется, хорошая статья?
https://ru.stackoverflow.com/questions/516687/В-чем-суть-ковариантности-и-контравариантности-делегатов или вот, про тачки норм прям.