可以使用元组类型沿着rest运算符...

type MyArguments<A, B> = [
  (stuff: unknown) => A, // First element
  ...((stuff: unknown, previous: A) => B)[] // All other elements
]

那么MyArguments将是可变长度元组类型，其中第一个元素类型是(stuff: unknown) => A，其余元素的类型是(stuff: unknown, previous: A) => B)
那么你的Example类型将是：

type Example<C> = (args: MyArguments) => C

TypeScript手册中的更多信息

算法：

• 设T是函数数组
• 获取T的第一个元素，检索stuff的类型，并返回第一个函数的类型
• 调用T的其余部分的递归类型
• 设Func是T其余部分中的第一个元素
• 向Result数组添加一个函数，该函数接受具有定义类型和前一个值的stuff，前一个值是前一个函数的返回类型
• 更新先前的值以返回Func的类型
• 如果T为空，则返回Result
• 将结果与第一个元素展开以获得完整的数组。

实施：

type UnknownFunc = (...args: any[]) => any;

type _ChainFunctions<
  T,
  FirstArgument,
  PrevTo,
  Result extends readonly unknown[] = readonly [],
> = T extends readonly [infer Func extends UnknownFunc, ...infer Rest]
  ? _ChainFunctions<
      Rest,
      FirstArgument,
      ReturnType<Func>,
      readonly [
        ...Result,
        (stuff: FirstArgument, previousResult: PrevTo) => ReturnType<Func>,
      ]
    >
  : Result;

type ChainFunctions<T extends readonly UnknownFunc[]> = T extends readonly [
  infer First extends UnknownFunc,
  ...infer Rest,
]
  ? readonly [
      First,
      ..._ChainFunctions<Rest, Parameters<First>[0], ReturnType<First>>,
    ]
  : T;

我们正在使用inject关键字检索函数数组的元素。
要获得stuff的类型，我们使用内置的参数实用程序类型
用途：

const func = <T extends readonly UnknownFunc[]>(arg: ChainFunctions<T>) => {};

我们需要使用constAssert来防止编译器扩大输入数组的类型。ConstAssert将把数组转换为readonly，这就是为什么我们到处都有readonly的原因：

func([
  (stuff: number) => 123,
  (stuff: number, previousResult: number) => previousResult ** 2,
  (stuff: number, previousResult: number) => String(previousResult),
] as const);

func([
  (stuff: number) => 123,
  (stuff: number, previousResult: string) => previousResult ** 2, // expected error
  (stuff: number, previousResult: number) => String(previousResult),
] as const);

func([
  (stuff: number) => 123,
  (stuff: string, previousResult: number) => previousResult ** 2, // expected error
  (stuff: number, previousResult: number) => String(previousResult),
] as const);

链接到Playground