f3 を実現するには↓になるんじゃないかな？ func f3<T..., U...>(_ tpl: ([T]...), _ g: ((T) -> U)...) { let fst: (U...) = tpl.map(g) }

10:05 AM

T... と U... の数が同じであることや、どの ... がどの ... と対応するのかは、何らかのシンタックスで指定できる必要があるけど。