<br clear="all">What is the difference between forall as in:<br><br><div style="margin-left: 40px;"><a href="http://www.haskell.org/ghc/docs/6.10-latest/html/libraries/base/Control-Monad-ST.html#v%3ArunST">runST</a> ::  (<span class="keyword">forall</span> s.  <a href="http://www.haskell.org/ghc/docs/6.10-latest/html/libraries/base/Control-Monad-ST.html#t%3AST">ST</a> s a) -&gt; a<br>
</div><br>and the &quot;=&gt;&quot; as in <br><br><div style="margin-left: 40px;"><a href="http://www.haskell.org/ghc/docs/6.6/html/libraries/mtl/Control-Monad-State.html#v%3AevalStateT">evalStateT</a> :: <a href="http://www.haskell.org/ghc/docs/6.6/html/libraries/base/Control-Monad.html#t%3AMonad">Monad</a> m =&gt; <a href="http://www.haskell.org/ghc/docs/6.6/html/libraries/mtl/Control-Monad-State.html#t%3AStateT">StateT</a> s m a -&gt; s -&gt; m a<br>
<br></div>thanks<br><br>daryoush<br>