Typescript: Универсальный, расширяющий тип универсальным

Скажем, у меня есть интерфейс

interface Applicative<T> {}

Теперь я хочу определить функцию f, которая:

• принимает Function и принимает тип U расширяющий Applicative упаковку any
• возвращает U упаковку Function

Мои наивные попытки были

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

а также

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

но ни один не действителен

Можем ли мы сделать Generic расширяющим тип универсальным?