Could the binary structures serve as the basis for persistent data structures, implemented as [HAMT](https://en.wikipedia.org/wiki/Hash_array_mapped_trie)?