QuicksortPartition.curry 1.41 KB