:: Ord a => [a] -> [a] package:Agda

Returns an (arbitrary) representative for each list element that occurs more than once.
List of elements of a structure, from left to right.