Concurrent Clean : ソート

そういえば、Cleanのソートはリスト用にマージソートが提供されているだけなんだけれど、配列用の破壊的なものもあったほうがよかろうということと、少ない要素の場合で有効な別のアルゴリズムもあったほうがよいのではないかと検討中。
何がいいのかな？