Covariant

Em teoria de tipos, um construtor de tipo é covariante se ele preserva a relação de subtipagem. Por exemplo, se A é um subtipo de B, então `List` é um subtipo de `List`.