using System;

public class Program

{

    public static void Main()

    {

        new Tester();   

    }

​

    public interface StartType0<out T1, out T2> where T1 : StartType1 where T2 : StartType2 { }

    public class StartType1 { }

    public class StartType2 { }

    public class EndType0 : StartType0<EndType1, EndType2> { }

    public class EndType1 : StartType1 { }

    public class EndType2 : StartType2 { }

​

    public interface ITypeContainer<out T> where T : StartType0<StartType1, StartType2>

    {

        T[] array { get; }

        //ok

        T Get(int i);

        //vvvvvvvvvvvvvvvvvvvvvvvv - not ok !!! obviously it will not work with out you can have one covariance(out) or contravariance(in)

        //void Put(int i, T item);

    }

​

    public class TypeContainer<T> : ITypeContainer<T> where T : StartType0<StartType1, StartType2>, new()

    {

        public T[] array { get; } = new T[1];

        public T Get(int i) => array[i];

        public TypeContainer()

        {

            array[0] = new T();

        }

    }

​

    public class Tester

    {

        public ITypeContainer<EndType0> container = new TypeContainer<EndType0>();

​

        public Tester()

        {

            EndType0 instance = container.array[0];

        }

    }

}