Aufgabe zu generischen Typen

Vervollständigen Sie die Deklarationen, so daß das Programm typkorrekt wird:

interface F<A,B> {

        ...    m     ... ;
        H<B> q ( H<A> x ); 
}
interface G<A> { H<A> s(); }

interface    ...     { A r(); }

static String check (F<H<Integer>,   ...   > y) {
        return y.q(y.m().s()).r();
}