Aufgabe zu Generics

Wie lautet die Deklaration von 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();
   }
}