27 Mar
2011
27 Mar
'11
11:01 a.m.
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-extensions... forall a. ST s Bool I guess it is forall s. ST s Bool ?