13 May
2009
13 May
'09
2:11 a.m.
What is the difference between forall as in: runST<http://www.haskell.org/ghc/docs/6.10-latest/html/libraries/base/Control-Monad-ST.html#v%3ArunST>:: ( forall s. ST<http://www.haskell.org/ghc/docs/6.10-latest/html/libraries/base/Control-Monad-ST.html#t%3AST>s a) -> a and the "=>" as in evalStateT<http://www.haskell.org/ghc/docs/6.6/html/libraries/mtl/Control-Monad-State.html#v%3AevalStateT>:: Monad<http://www.haskell.org/ghc/docs/6.6/html/libraries/base/Control-Monad.html#t%3AMonad>m => StateT<http://www.haskell.org/ghc/docs/6.6/html/libraries/mtl/Control-Monad-State.html#t%3AStateT>s m a -> s -> m a thanks daryoush