你如何在Haskell进行就地快速排序

import Data.Array.ST
import Control.Monad
import Control.Monad.ST
import Data.STRef

-- 快速排序函数
quickSort :: Ord a => [a] -> [a]
quickSort xs = runST $ do
  -- 将输入列表转换为可变数组
  arr <- newListArray (0, length xs - 1) xs
  -- 调用快速排序算法
  quickSort' arr 0 (length xs - 1)
  -- 将可变数组转换为排序后的列表
  getElems arr

-- 快速排序算法
quickSort' :: Ord a => STArray s Int a -> Int -> Int -> ST s ()
quickSort' arr low high
  | low < high = do
    -- 选择一个基准元素
    pivot <- partition arr low high
    -- 递归地对基准元素的左右两部分进行排序
    quickSort' arr low (pivot - 1)
    quickSort' arr (pivot + 1) high
  | otherwise = return ()

-- 将数组划分为两部分，并返回基准元素的索引
partition :: Ord a => STArray s Int a -> Int -> Int -> ST s Int
partition arr low high = do
  -- 选择最后一个元素作为基准元素
  pivot <- readArray arr high
  -- 使用两个指针i和j来划分数组
  ref <- newSTRef low
  forM_ [low..high-1] $ \i -> do
    -- 如果当前元素小于基准元素，则将其交换到左侧
    val <- readArray arr i
    when (val <= pivot) $ do
      j <- readSTRef ref
      swap arr i j
      modifySTRef ref (+1)
  -- 将基准元素交换到正确的位置
  j <- readSTRef ref
  swap arr j high
  return j

-- 交换数组中两个元素的位置
swap :: STArray s Int a -> Int -> Int -> ST s ()
swap arr i j = do
  valI <- readArray arr i
  valJ <- readArray arr j
  writeArray arr i valJ
  writeArray arr j valI