class Foo where T : U { }