Typescript: Generikum, das einen Typ um ein Generikum erweitert

Angenommen, ich habe eine Schnittstelle

interface Applicative<T> {}

Nun möchte ich eine Funktion f definieren, die:

• nimmt ein Function und nimmt einen Typ U , der ein Applicative umschließt any
• gibt ein U , das Function

Meine naiven Versuche waren

  function f<U extends Applicative>(fn: Function, a: U<any>): U<Function>

und

  function f<T, U<T> extends Applicative<T>>(fn: Function, a: U<any>): U<Function>

aber keiner ist gültig

Können wir einen Generic-Typ mit einem Generic erweitern?