コンパイル時に型が決められないから動的に組み立てるのはダメだな。

9:39 AM

それなら、すべての要素が同じ制約を満たしていて、それを some Foo としてイテレートできて、 for に渡すとアンロールしてくれるタプルがあれば十分だな。