Questa generalizzazione di runST è sicura?

Question

Control.Monad.ST nel pacchetto base contiene runST per eseguire il rigoroso dello stato-trasformatore monade:

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

Tuttavia, ho bisogno di una versione generalizzata di runST:

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

La mia domanda è: questo uso di unsafeCoerse sicuro? (Credo di sì, perché, come ho capito, l'unico scopo dell'indice s è quello di impedire a trapelare s valori -indexed nel risultato a. Il tipo di runSTCont non può fuoriuscire s valori -indexed quindi dovrebbe essere OK.)

noti che runST può essere espresso in termini di runSTCont così runSTCont è almeno altrettanto generale runST:

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

Answer 1

io non la penso così:

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) 

Il problema è che Haskell non ha la restrizione del valore.