:: 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.