そうなんですが、 T が Float などの trivial な値だったらそのままでも大丈夫かと。