#айтишный_быт
Я наконец-то въехал в ковариантность и контравариантность.
Если мы пообещали выдать кому-то животное и выдаем кота - это ковариантность.
Если кто-то требует от нас животное и мы выдаем ему кота - это контравариантность.
А если мы пообещали выдать кота, а выдаем рандомное животное, или если от нас требуют кота, а мы даем в ответ первое животное, что попалось к нам в руки - это ошибка приведения типов =-)