Ковариантность и Контрвариантность - что это?

public interface IIndex<out T> 
{ 
Т this[int index] { get; } 
int Count { get; } , 
} 
public class RectangleCollection: IIndex<Rectangle> 
{ 
private Rectangle[] data = new Rectangle[3] 
{ 
new Rectangle { Height=2, Width=5}, 
new Rectangle { Height=3, Width=7}, 
new Rectangle { Height=4.5, Width=2.9} 
}; 
public static RectangleCollection GetRectangles () 
{ 
return new RectangleCollection (); 
} 
public Rectangle this[int index] 
{
get 
{ 
if (index < 0 || index > data.Length) 
throw new ArgumentOutOfRangeException("index") ; 
return data[index]; 
} 
} 
public int Count 
{ 
get 
{ 
return data.Length; 
} 
}
}
static void Main() 
{ 
IIndex<Rectangle> rectangles = RectangleCollection.GetRectangles(); 
IIndex<Shape> shapes = rectangles; 
for (int i = 0; i < shapes.Count; i++) 
{ 
Console.WriteLine(shapes[i]); 
}}

interface ICovariant<out T>
{
   T GetSomething(); // OK
   void SetSomething(T value); // Ошибка компиляции - обобщенный тип T может служить только выходным параметром.
}

interface IContravariant<in T>
{
   T GetSomething(); // Ошибка компиляции - обобщенный тип Т может служить только входным параметром
   void SetSomething(T value); // OK
}

public interface IIndex<T> 
{ 
   Т this[int index] { get; set;} 
   int Count { get; } , 
}

IIndex<Rectangle> rectangles = RectangleCollection.GetRectangles(); 
IIndex<Shape> shapes = rectangles;

shapes.Add(new Circle());

IIndex<Circle> shapes = new ShapeCollection();
shapes.Add(new Circle()); // Но проблемо - у нас хранятся любые фигуры, без ограничений