そういえば

OCamlのオブジェクトの型推論が大堀流レコードレベルの融通の利かないものになっている理由を、PPLでGarrigue先生に尋ねたところ「abbreviationがきれいにできることを優先したから」とのことでした。

納得いくような、でもPolymorphic variantと同程度の複雑さでけっこう融通が利くようになるんだから、納得いかないような…