Ковариантность обобщений - разобрать код

using System;
 
// Ковариантность обобщений.
 
namespace Generics
{
    public abstract class Shape { }
    public class Circle : Shape { }
 
    public interface IContainer<T>
    {
        T Figure { get; set; }
    }
 
    public class Container<T> : IContainer<T>
    {
        public T Figure { get; set; }
 
        public Container(T figure)
        {
            this.Figure = figure;
        }
    }
 
    class Program
    {
        static void Main()
        {
            Circle circle = new Circle();
 
            IContainer<Shape> container = new Container<Shape>(circle);
 
            Console.WriteLine(container.Figure.ToString());
 
            // Delay.
            Console.ReadKey();
        }
    }
}

var boo = new Boo();
var foo = (Foo)boo;

using System;
 
// Ковариантность обобщений.
 
namespace Generics
{
    public class Base {
        public void BaseMethod() {
            Console.WriteLine("Base Method");
        }
    }
    public class Derived : Base {
        public void DerivedMethod() {
            Console.WriteLine("Derived Method");
        }
    }
 
    class Program
    {
        static void Main()
        {
            Base @base = new Base();
            Derived derived = new Derived();
            Base newBase = (Derived)@base;//DownCast to Base Type
            Derived newDerived = (Derived)derived;//UpCast to Derived Type
            newBase.BaseMethod();
            newDerived.BaseMethod();
            newDerived.DerivedMethod();
            Console.WriteLine(@base.GetType());
            Console.WriteLine(derived.GetType());
            Console.WriteLine(newBase.GetType());
            Console.WriteLine(newDerived.GetType());
 
            if (newBase is Base) Console.WriteLine("true");
            else Console.WriteLine("false");
 
            if (newBase is Derived) Console.WriteLine("true");
            else Console.WriteLine("false");
 
            if (newDerived is Base) Console.WriteLine("true");
            else Console.WriteLine("false");
 
            if (newDerived is Derived) Console.WriteLine("true");
            else Console.WriteLine("false");
            // Delay.
            Console.ReadKey();
        }
    }
}