C＃泛型和理解嵌套的泛型类型

Question

说我有以下类型

public inteface IA<T1,T2> where T1 : IB<T2> where T2 : IC {}

然后为什么我必须在实现类中提供T1，T2。 C＃是否应该无法自动连接这些电线？

现在，您必须按如下方式编写实现类

class A : IA<B,C> {}

class B : IB<C> {}

class C : IC {} 

但是最好写成

class A : IA<B>

考虑到B-> C的实现，我猜编译器应该解释什么？

为此，IA应该这样写：

public interface IA<T1<T2>> where T1 : IB<T2> where T2 : IC {}

我相信这在Java世界中是可能的，那么为什么不使用c＃？