可変長引数は (s: S, t: T...) なのに、可変長型パラは <S, T...> じゃなく <S, variadic T> なのはなんでだろう？シンタックス上問題なさそうだけど。