:: Ord a => [a] -> [a] -package:classy-prelude package:Agda -is:exact
Returns an (arbitrary) representative for each list element that
occurs more than once. O(n log n).
Remove the first representative for each list element. Thus, returns
all duplicate copies. O(n log n).
allDuplicates xs == sort $ xs \ nub xs.