# sorted-list Type-enforced sorted lists and related functions.