nubBy package:Agda

The nubBy function behaves just like nub, except it uses a user-supplied equality predicate instead of the overloaded == function.