Type alias InferInvocations<T>

InferInvocations<T>: T extends [ServiceInvocation<infer C>, infer Next, ...(infer Rest)]
    ? [Invocation<C>, ...InferInvocations<[Next, ...Rest]>]
    : T extends [ServiceInvocation<infer C>]
        ? [Invocation<C>]
        : never