[Haskell-cafe] forall vs "=>"

[Daryoush Mehrtash]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090512/adfb1003/attachment.html