使うともっといい感じにできるかも。OCaml:比較演算は勝手にできるようになるらしい。的なものをつけたりすることも出来る。タプルの括弧が省略できる。あればおk)カリー化された関数は、タプルにしてパターンマッチというのをやることが多いらしい。手動でやらず、テストフレームワークを使うと楽。外に出して作るhttps://github.com/seizans/pfds/blob/master/2/BinomialHeap.hs型の定義をうまくすると、一部の関数を除いて殆ど同じにできるらしい。2-3木でも完全バランスするらしく、それだと赤は左だけで出来る。2-3木を普通に作ってもいいかも。黒の制約そのままで、赤の制約に引っかかる。赤が来て、それ以外はうまくいっている状態になる。色を黒にすれば、完成。制約は緩く、多くの実装がある。