Как мешает, можно пример, а то я не понял?

Кстати, Eq там не обязателен. Пусть это будет аналогично сравнению с образцом, который не деривит Eq.