BubbleSort.curry 535 Bytes