Wie lautet die Deklaration von q?
q
public class Typing { interface F<A,B> { G<A> m (); ... q ( ... ); } interface G<A> { H<A> s(); } interface H<A> { A r(); } static String check (F<H<Integer>,String> y) { return y.q(y.m().s()).r(); } }