BubbleSortFormat.curry 733 Bytes