В какие направления может быть направлена вариантность в дженериках?

Вариантность в дженериках может быть направлена в три основных направления:

• Ковариантность (Covariance): Позволяет использовать тип, который является подтипом указанного в дженерике. Обозначается модификатором out (в Kotlin) или ключевым словом extends (в Java, для ограниченных wildcard). Позволяет только читать из коллекции или обобщенного типа.
• Контравариантность (Contravariance): Позволяет использовать тип, который является супертипом указанного в дженерике. Обозначается модификатором in (в Kotlin) или ключевым словом super (в Java, для ограниченных wildcard). Позволяет только записывать в коллекцию или обобщенный тип.
• Инвариантность (Invariant): Тип должен быть точно таким же, как указано в дженерике. Используется по умолчанию в Kot