SortSpec.curry 990 Bytes