Embrace Semigroup
Add Eq instance for Trie