Documentation

removeEqBy f xs ys removes elements from xs and ys such that for each element x removed from xs, an element y is removed from ys such f x y. In other words in the result (xs', ys'), there does not exist any x in xs', y in ys' such that f x y.