BubbleSortFormat.curry 698 Bytes