On Sunday 27 March 2011 17:01:15, Rustom Mody wrote: > Reading the other thread on scoped typed variable I see in > http://www.haskell.org/ghc/docs/7.0.2/html/users_guide/other-type-extens > ions.html#exp-type-sigs forall a. ST s Bool > > I guess it is forall s. ST s Bool > ? Yes. Good spot.