interface I[T] { Foo() : T }
class A : I[object] {
    public Foo() : int { 1 }
}