使用 runST 解决斐波那契问题

问：

我定义了以下内容

import Data.STRef

fib' :: Int -> Integer
fib' n = runST $ do
                 rx <- newSTRef 0
                 ry <- newSTRef 1
                 let loop 0 = do
                            x <- readSTRef rx
                            return x
                     loop n = do
                            x <- readSTRef rx
                            y <- readSTRef ry
                            writeSTRef rx y
                            writeSTRef ry (x + y)
                            loop (n - 1)
                 loop n

但是，当我尝试使用 ghci 编译代码时，出现以下错误：

    Variable not in scope: runST :: GHC.ST.ST s0 Integer -> Integer
   |
11 | fib' n = runST $ do
   |          ^^^^^

我不知道我哪里出错了，我对在 haskell 中使用可变引用很陌生，所以任何帮助将不胜感激