Hash_array_mapped_trie