trampoline-ts/src/types.ts

A type-safe way to emulate tail-call optimization with trampolines

export type ArgumentTypes<T extends (...args: any[]) => any> =
  T extends (...args: infer A) => any
    ? A
    : never;