[Haskell] Re: IORef sharing

[Stefan Monnier]

>> iio :: IO (IORef Int)
>> iio = newIORef 0

I sometimes feel like "IO" should be renamed to
"CommandSequenceReturning".  So the above would read:

  iio :: CommandSequenceReturning (IORef Int)
  iio = newIORef 0

I.e. iio is not an IORef Int but only a (trivial) sequence of commands
that will end up returning an object of (IORef Int) when it'll
be executed.


        Stefan