Typescript: Générique qui étend un type avec un générique

Disons que j'ai une interface

interface Applicative<T> {}

Maintenant, je veux définir une fonction f qui :

• prend un Function et prend un type U étendant un Applicative wrapping any
• renvoie un U wrapping Function

Mes tentatives naïves étaient

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

et

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

mais aucun n'est valable

Peut-on faire en sorte qu'un générique étende un type avec un générique ?