Описание тега covariant

Например , на C#:

class Base {
//code goes here
}

class Derived : Base  {
//code goes here
}

//you can assign an instance of type derived class to a base class.

    IEnumerable<Derived> d = new List<Derived>();
    IEnumerable<Base> b = d;