public class X<A extends X<X<X<@Marker String>>>> { } class Y<T> { Zork z; }