Hitchhiker trees: functional, persistent, off-heap sorted maps (github.com)