Is there any reason why IO should not be defined as: > type IO a = ST RealWorld a in implementations that support ST?
This way IORef/STRef and IOArray/STArray can be merged. I know under the hood they already share code, but this way they can also share an interface.
Twan _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell