思ったんだけど、求められてるのってタプルに対する演算なんじゃないかな？可変長型パラを型として使うとそれらを展開したタプル型として扱われて、タプルの構造を維持したまま個別要素に対する操作を行える方法を提供する。タプルの要素に対する制約があるから、制約の範囲で共通の操作を受け付けられる。必要な操作の種類は、map的なものとreduce的なもの。タプルからタプルへの変換と考えれば型の変化も受け入れられる。後は、タプルの中に展開する ... があればやりたいことは大体できそうな気がする。