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>

लेकिन कोई भी मान्य नहीं है

क्या हमारे पास जेनेरिक एक जेनेरिक के साथ एक प्रकार का विस्तार कर सकता है?