個人的には型パラメータ必須が良いと思う。

2:35 AM

プロパティの型が変わったことに、ランタイムエラーでしか気付けなくなりそうだから。 (edited)

2:36 AM

まあ、コンパイラによる自動生成を使っていたら、どちらにしても気付けないけど。