5 -- Note: equivalent code of the form: show (runST (newSTRef 'a' ...))
6 -- won't typecheck under Hugs 1.01.
12 newSTRef 'a' >>= \ v ->
15 a2 = show (runST prog)
19 newSTRef 'a' >>= \ v ->
23 a3 = show (runST prog)
25 prog :: ST s (Bool,Bool,Bool)
27 newSTRef 'a' >>= \ v1 ->
28 newSTRef 'a' >>= \ v2 ->
29 return (v1 == v1, v1 == v2, v2 == v2)