:: Ord a => [a] -> [a] -package:numeric-prelude -package:relude -is:exact -package:Agda package:ghc

Remove duplicates but keep elements in order. O(n * log n)