Data.ListTrie.Set.Eq