Data.ListTrie.Map.Eq