そこの型にはアクセスできなくていいと思う。

12:41 PM

してたのはクロージャをどう扱うかという話だから、クロージャの中の世界は同じように型検査ができると思うよ。

12:41 PM

外の世界では展開しない T は使えない。

12:41 PM

そのルールでうまくいくんじゃないかな？

12:42 PM

sumやるなら制約を加えて変換できるようにしないといけなくて、IntConvertibleの例みたいに。