class A<T extends S, S> { }