SortPermute.curry 1.25 KB