SortSpec.curry 904 Bytes