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