Peter Verswyvelen schrieb: > I'm having trouble understanding the explanation of the meaning of the > signature of runST at > > http://en.wikibooks.org/wiki/Haskell/Existentially_quantified_types Is this one better http://haskell.org/haskellwiki/Monad/ST ?