1. TypeScript 関数引数型推論
   TypeScriptでは、typeof演算子を使って関数の型を取得し、そこから引数の型を推論することができます。上記の例では、typeof addで関数の型を取得し、ジェネリック型(...args: infer A) => anyを使って引数の型を推論しています。infer Aは推論された引数の型を表します。