基本上,我想要这样的东西:
export type ReturnValueMapper<Func extends (...args: Args[] /* impossible */ ) => any, ReturnValue> = (...args: Args[]) => ReturnValue;
我几乎可以肯定这是不可能的,但我还没有找到确切的确认.
用例是使用stateHandlers改进重构的类型,从而可以定义状态更新器,如下所示:
interface StateUpdaters {
    update(field: string): void; // I don't want to specify Partial<State> here 
}