Как вы думаете, является ли ковариантность необходимой в ООП-модели? Можно ли считать ООП полноценным без ковариантности, особенно в генериках?