打字稿：基于子函数参数的高阶函数参数类型

Question

我试图弄清楚，TS是否可能基于子函数的自变量来推断高阶函数自变量类型。因此，在示例中，变量result下的类型为number[]。如果我输入sample(s => ...)(3)，TS会根据子函数中提供的参数将s的类型推断为number？

谢谢！

type lolo = <TIn, TOut>(map: (arg: TIn) => TOut) => (arg: TIn) => TOut;
declare const sample: lolo;
const result = sample((s) => [s])(3);

上面突出显示的代码变体