switch from SortedList constructor to mkSortedList smart constructor