interface I { } class Foo where T : I, I { }