Почему универсальный метод не может преобразовать конкретный (производный) класс в его родительский класс

Я столкнулся с ситуацией, когда я хочу, чтобы Deal class знал об этом DealDetail type, и наоборот, я хочу, чтобы DealDetail знал о Deal type. В будущем я хочу иметь много потомков Deal и DealDetails.

Я пытался реализовать его с помощью дженериков, но он не хочет компилироваться. компилятор выдает ошибку: не удается неявно преобразовать тип Program.ConcreateDeal в TDeal

public static void Main()
{
    Console.WriteLine("Hello World");

    var deal = GetDeal<ConcreateDeal,ConcreateDealInfo>();
}

public static TDeal GetDeal<TDeal, TDealInfo>()
    where TDeal : DealBase<TDeal, TDealInfo>
    where TDealInfo : DealInfoBase<TDeal, TDealInfo>
{
        return new ConcreateDeal();
}

public class DealBase<TDeal, TDealInfo> 
    where TDeal : DealBase<TDeal, TDealInfo>
    where TDealInfo : DealInfoBase<TDeal, TDealInfo>
{
    public TDealInfo DealInfo {get; set;} 
}

public class ConcreateDeal : DealBase<ConcreateDeal, ConcreateDealInfo> {}

public class DealInfoBase<TDeal, TDealInfo>
    where TDeal : DealBase<TDeal, TDealInfo>
    where TDealInfo : DealInfoBase<TDeal, TDealInfo>

{
    public TDeal Deal {get; set;} 
}

public class ConcreateDealInfo : DealInfoBase<ConcreateDeal, ConcreateDealInfo> { }     

Я ожидал, что в методе GetDeal<ConcreateDeal,ConcreateDealInfo>() тип ConcreateDeal будет приведен к базе Deal type неявно, через наследование, но это не так. Где я не прав?

dotnetfiddle: https://dotnetfiddle.net/sjtxTC