Type-enforced sorted lists and related functions.
These are useful for:
- Constraining the argument of a function to be a sorted list by stating in
your type that the input list is a sorted list.
Avoiding sorting a list twice.
Creating a list that is sorted from the moment of its construction, so it
doesn't have to be sorted later.
If you are missing a feature, do not hesitate to ask by opening an issue at the