Unnrap/保留Typescript中功能的通用约束

Question

假设我具有以下通用功能。

declare function greet<
  Name extends "Alice" | "Bob",
  Rest extends (Name extends "Alice" ? [isMother: boolean] : [isFather: boolean])
>(
  name: Name,
  ...rest: Rest
): void;

此功能的第二个参数（或至少其标签）根据提供的name而更改。我想在保留通用行为的同时映射此功能的参数。

例如，我想使用HOF产生一个新功能 - engry> engry - - 除了参数类型用somewrapper包装。

declare function mapParams<
  I extends (...args: any[]) => any,
  P extends Parameters<I>
>(fn: I): (...args: {[K in keyof P]: SomeWrapper<P[K]>}) => ReturnType<I>;

...将使用如下：

const greet = mapParams(greet);

greet(new SomeWrapper("Alice"), true);

同时，我想保留通用行为。这可能吗？