type ArgumentsType<T> = T extends (...args: infer A) => unknown ? A : never;

const add = (a: number, b: number): number => a + b

type Add = typeof add;

function logAdd(...args: ArgumentsType<Add>): ReturnType<Add> {
  const [a, b] = args;
  const result = add(a, b)
  console.log(a, b, result)
  return result
}