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