Is there a proof that runST is indeed pure?...

How do I make a new data type, based on a vector, within the ST monad...

Not being able spot the problem in the code in Dijkstra’s Haskell implementation...

Requires MonadPlus (ST a) Instance...

Combine ST and List monads in Haskell...

Modify ST dependent environment in ReaderT – problem with `local` function...

Just how "unsafe" are Data.Vector's unsafeFreeze/unsafeThaw?...

Specification of `State#`...

Re-dress a ST monad as something similar to the State monad...

Haskell -- dual personality IO / ST monad?...

Haskell ST Monad: No instance for (MArray (STArray s) Int (ST s1))...

Refactor Haskell monadic code to avoid copy-paste...

syntax of ST monad declaration...

Function argument which transforms in ST Monad...

How to hoist Conduit of STT...

Modeling the ST monad in Agda...

How can I implement a Fisher-Yates shuffle in Scala without side effects?...

What's going on in this type signature? (Vector.Mutable modifiers in Haskell)...

How to improve this algorithm by 1)use arrays, 2)avoid list concatenation (lazy lists?)?...

Mixing IO w/ ST Monad - "type variable `s2' would escape its scope"...

How to put mutable Vector into State Monad...

using and returning multiple STUArrays...