Agda.Utils.Trie
data Trie k v
empty
singleton
insert
insertWith
union
unionWith
adjust
delete
toList
toAscList
lookupPath