A question: s is not a type variable as a isn't it? I mean a can be of type Integer while s cannot.

Regards,

Scott

----- Original Message -----

From: "Ashley Yakeley" <ashley@semantic.org>

To: "Scott J." <jscott@planetinternet.be>; "Haskell Cafe List" <haskell-cafe@haskell.org>

Sent: Saturday, August 17, 2002 6:15 AM

Subject: Re: Question aboutthe use of an inner forall

> At 2002-08-16 20:57, Scott J. wrote:
>
> >However what for heaven's sake should I think of
> >
> >runST :: forall a ( forall s ST s a) -> a ?
>
> runST :: forall a. ((forall s. ST s a) -> a)
>
> "For all a, if (for all s, (ST s a)) then a."
>
> You may apply runST to anything with a type of the form (forall s. ST s
> a), for any 'a'.
>
>
> --
> Ashley Yakeley, Seattle WA
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>