.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
        {
        }
    }