2-3 フィンガーツリー
優先度付きキューを実装する場合、関数measureはその部分木が含む最大の優先度を返す。値は半群となるようにし、二項演算として優先度の大きい方を返す。かつてはHaskellやscalazの実装などは、半群ではなくモノイドが必要となっていて、その際は単位元として優先度が負の無限大を利用した。
優先順位最大の要素を取得する場合、優先度が木全体の最大の優先度と等しい要素で分割する。