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
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe