Можете объяснить концепцию ковариантности типов и в чем её особенность в типах данных?