BubbleSortFormat.curry 827 Bytes