((a: A, b: B, …), x: X)というタプルを、(a: A, b: B, …, x: X)に書き換えるのを汎用化したいのですが

5:23 AM

たとえvariadic genericsを使っても、ラベル部分をキャプチャできないから無理、でしょうかね

5:24 AM

また、このタプルは型推論によって出てきて、ユーザーが手で定義しないので、マクロ生成による対応も無理、でしょうかね