[Haskell-cafe] Re: forall & ST monad

[Heinrich Apfelmus]

Peter Verswyvelen wrote:
> 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
> 
> I could try to read the article a couple of times again, but are there any
> other good readings about these existentially quantified types and how the
> ST monad works?

Maybe

  http://en.wikibooks.org/wiki/Haskell/Polymorphism

can help?


Regards,
apfelmus

--
http://apfelmus.nfshost.com