Some type constraints can be relaxed from `Hashable` to `Eq`

* [ ] `Semigroup` and `Monoid` instances (https://github.com/haskell-unordered-containers/unordered-containers/pull/564)
* [ ] `difference[With]`