for だとしても、 Ts の制約で表される型以外のことはできないし、結果として Ts を得ないならいけるんじゃないかな？

4:03 PM

どっちにしろ、特殊化はできなさそう。