sorted-list (hackage): Type-enforced sorted lists and related functions.
Keywords: bsd3|data|library