リカーシブスローダウン
遅延評価を導入し、計算量を最悪計算量から償却計算量ヘ緩めて簡略化したものをimplicit recursive slowdownと呼び、2-3 フィンガーツリーの実装などに使われている。