Какие виды дженериков вы знаете?

Инвариантные, ковариантные и контравариантные.

• Инвариантность: Тип List<A> не является подтипом List<B> и наоборот, даже если A является подтипом B. Тип сохраняется точно.
• Ковариантность (out): Позволяет использовать подтипы. List<A> является подтипом List<B>, если A является подтипом B. Используется для выходных параметров (возвращаемых значений).

kotlin

• Контравариантность (in): Позволяет использовать супертипы. List<B> является подтипом List<A>, если A является подтипом B. Используется для входных параметров (аргументов).

kotlin