I'm looking for data structures that require their members to be instances of Ord, and I'm having trouble finding any on Hackage. I've searched on Hoogle and Stackage for the expression Ord a => [a] -> f a, because I would expect something like fromList. Why am I not finding anything?
Here is an example of the type of function/data structure I'd like to find.