SortSpec.curry 1.5 KB