:: Ord a => [a] -> [a] -is:exact -package:data-ordlist -package:ghc-lib-parser -package:Agda is:exact 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.