AVL木
二分探索木に回転を行うことで、木の高さを一定にする
平衡木
回転を行うことで$ O(\log2{n})にできる
https://qiita.com/mikecat_mixc/items/e9f8248de2ae7f7a0a29
http://wwwa.pikara.ne.jp/okojisan/avl-tree/index.html
https://keens.github.io/blog/2020/12/23/idrisdetakasaga100_tadashiiavlkiwoteigisuru/
Idrisで実装する