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"
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