当功能包裹在课堂上时，通用会丢失

Question

我正在编写一个小型实用程序，我需要能够使用generics表达功能组成：

function compose<A, B, C>(f: (a: A) => B, g: (b: B) => C): (a: A) => C {
    return a => g(f(a));
}

在这种情况下，TS似乎能够“通过”类型变量并正确地推断出结果类型：

const good = compose(<T>(t: T) => t, <T>(t: T) => t); // <T>(a: T) => T

我的下一步涉及包装这些功能在课堂中的功能，因此至少我需要返回包装器：

class Wrapper<T> {
    constructor(public readonly value: T) { }
}

function wrapCompose<A, B, C>(f: (a: A) => B, g: (b: B) => C): Wrapper<(a: A) => C> {
    return new Wrapper(compose(f, g));
}

wrapCompose的类型与compose相同，只是将结果包装在包装器。但是现在这还不正确。

const bad = wrapCompose(<T>(t: T) => t, <T>(t: T) => t); // Wrapper<(a: unknown) => unknown>

为什么类型推理在这里破裂？ 包装器根本不做任何事情，因此我希望使用完全相同的规则键入其值，就像它是一个平均值一样。有没有办法包裹我的功能结果以使TS正确地渗透结果？