:: Ord a => [a] -> [a] -package:base -package:xmonad-contrib -package:Agda package:sort

The sort function implements a stable sorting algorithm. It is a special case of sortBy, which allows the programmer to supply their own comparison function.
Sort the list, discarding duplicates.