Typescript: Generik yang memperluas tipe dengan generik

Katakanlah saya memiliki antarmuka

interface Applicative<T> {}

Sekarang saya ingin mendefinisikan fungsi f yang:

• mengambil Function dan mengambil tipe U memperluas Applicative pembungkus any
• mengembalikan U pembungkus Function

Upaya naif saya adalah

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

dan

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

tapi tidak ada yang valid

Bisakah kita meminta Generic memperpanjang tipe dengan generik?