OCamlのオブジェクト型推論は、そのうちなんとかしますです。はい。