generated at
2/12/2025, 3:43:45 PM
finger tree
Monoid
Finger search tree
Zippers
https://en.wikipedia.org/wiki/Finger_tree