BubbleSort.curry 597 Bytes