使用泛型类型中定义的类型

为标题道歉-我真的想不出一个很好的方式来描述我的需求。

我希望能够定义一个泛型接口(或类，这无关紧要)，其中Type参数提供可以从类访问的另一个Type。希望这段代码可以解释

interface IFoo
{
   TOtherType DependentType { get; }
}
interface IMyGeneric<TBar> where TBar : IFoo
{
   TBar ReturnSomeTBar();
   TBar.DependentType ReturnSomeTypeOnTBar();
}

所以在这个例子中，我想要一个类来实现IFoo(例如Foo)并暴露另一种类型，DependentType(例如int)，所以我可以使用具有方法的IMyGeneric<Foo>:

public Foo ReturnSomeTBar()
{
}
public int ReturnSomeTypeOnTBar()
{
}

显然，上面的代码不编译，所以有一种方法来实现这种行为的泛型链?

interface IFoo<TDependent>
{
   TDependent DependentType { get; }
}

interface IMyGeneric<TBar,TDependent> where TBar : IFoo<TDependent>
{
   TBar ReturnSomeTBar();
   TDependent ReturnSomeTypeOnTBar();
}