haskell - runST 的这种概括安全吗？

Question

Control.Monad.ST在 base包装内含 runST运行严格的状态转换器 monad:

runST :: (forall s. ST s a) -> a

但是，我需要 runST 的通用版本:

runSTCont :: (forall s . (forall b . ST s b -> b) -> a) -> a
runSTCont f = f $ \m -> runST $ unsafeCoerce m

我的问题是:这是使用 unsafeCoerse安全的？
(我猜是这样，因为据我了解，索引 s 的唯一目的是防止在结果 s 中泄漏 a -indexed 值。 runSTCont 的类型不能泄漏 s -indexed值，所以应该没问题。)

请注意 runST可以用 runSTCont 表示所以 runSTCont至少与 runST 一样普遍:

runST' :: (forall s. ST s a) -> a 
runST' m = runSTCont $ \runST -> runST m

Answer 1

我不这么认为:

crash = runSTCont crasher where
  crasher :: forall s. (forall b . ST s b -> b) -> Integer
  crasher go =
    let r :: forall a. STRef s (a -> a)
        r = go $ newSTRef id
    in go $ do writeSTRef r (tail . tail)
               f <- readSTRef r
               return $ f (17 :: Integer)

问题是 Haskell 缺乏值限制。