.NET 2.x Почему компилятор считает разными типами generic в предке и наследниках - C#

Формулировка задачи:

Почему компилятор считает разными типами генериками хотя по факту они одинаковы, вот код. Собственно что я хочу сделать

TransactionStart.UnRelay(entity.TransactionStart);

Что пишет

Argument 1: cannot convert from 
'IEventDispatcher<TransactionStatusChangeEvent<ITransactional<State>, State>>'
to 'IEventDispatcher<TransactionStatusChangeEvent<IEntity<State>, State>>'

Окей, типы и правда разные.., или нет? Сам энтити расширяет ITransactional

    public interface IEntity<S> : ITransactional<S>, ICloneable
        where S : IState

Класс в котором я это делаю

public class CollectionImpl<State> : ICollection<IEntity<State>, State>
        where State : IState

Тип транзакции в этом классе

IEventDispatcher<TransactionStatusChangeEvent<IEntity<State>, State>> TransactionStart

Тип энтити

List<IEntity<State>> _entities = new List<IEntity<State>>();

При попытке приведения вылетает каст эксепшн

                
TransactionStart.UnRelay((IEventDispatcher<TransactionStatusChangeEvent<IEntity<State>, State>>)entity.TransactionStart);

Я не понимаю почему компилятор так странно на это реагирует

Решение задачи: «.NET 2.x Почему компилятор считает разными типами generic в предке и наследниках»

textual
                            Листинг программы 
                        

                                class Program
    {
        static void Main(string[] args)
        {
            IList<IBeta> e = null;
            Foo(e);//нет ошибки, хотя вместо IList<IAlpha> передается IList<IBeta>
 
            Console.ReadLine();
        }
 
        static void Foo(IList<IAlpha> e)
        {
        }
 
        public interface IList<out T>//ковариантный интерфейс
        {
        }
 
        public interface IAlpha
        {
        }
 
        public interface IBeta : IAlpha
        {
        }
    }
                        