■

Row PolymorphismとSubtypingが違うのは、SubtypingのWidthルール、つまりオブジェクト型のメソッド減らしても良いよーっていうの、に対応する推論規則が、オブジェクトに関しては無いところなんだろうなぁ。

あとさっき気づいたんだけど、rlwrap通してるからか、OCamlのプリティプリンタがおかしい。