Agda.Utils.Trie
data Trie k v