型推論使わず自分で型を書けなんて言われたら、いろんなところに
template <typename ...T>　using result_t = 〜;
とか提供しまくることになるんだろうか？
ヤダヤダ。