>Ммм, т.е. это по сути ограничение Хаскеля?

Ну ты как-то скептически выражаешься ;)
Способ ограничить параметрический полиморфизм, когда он избыточен. В моей презентации по free theorems как раз о Eq и теореме для nubBy, которая всё равно имеет контекст (x = y) = (f x = f y), так что переход к nub + ограниченный квантор не вносит никакой дополнительной сложности/сущности.