Agda.Utils.Trie
data
Trie
k v
empty
singleton
insert
lookupPath
union