Typescript: Genérico que extiende un tipo con un genérico.

Di que tengo una interfaz

interface Applicative<T> {}

Ahora quiero definir una función f que:

• toma un Function y toma un tipo U extendiendo un Applicative envoltorio any
• devuelve un U envoltorio Function

Mis ingenuos intentos fueron

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

y

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

pero ninguno es valido

¿Podemos hacer que un genérico extienda un tipo con un genérico?