ここまで

1. Rubyではnewもメソッド呼び出し
2. value restrictionしちゃうと全くpolymorphicにならなくなる
3. value restrictionせずに、インスタンス変数の型だけgeneralizeされないことにしちゃえばokじゃない?
4. あれ?relaxed value restrictionじゃだめ?
5. いや、だめ
6. そもそもOCamlのnewってただの関数呼び出しだったりする?

3が怪しい。