Typescript: Genérico que estende um tipo com um genérico

Digamos que eu tenha uma interface

interface Applicative<T> {}

Agora quero definir uma função f que:

• pega um Function e pega um tipo U estendendo um Applicative wrapping any
• retorna um U wrapping Function

Minhas tentativas ingênuas foram

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

e

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

mas nenhum é válido

Podemos ter um genérico extender um tipo com um genérico?