[Haskell-cafe] Type system madness

[Jonathan Cast]

On Wednesday 11 July 2007, Lennart Augustsson wrote:
> Well, Haskell defines the IO type to be abstract, so if IO and ST happen to
> be the same it's implementation dependent.

And if IO uses a RealWorld type, that's implementation dependent too.  But 
it's still useful to understand both RealWorld as used by IO and the same 
mechanism as used by ST.

Jonathan Cast
http://sourceforge.net/projects/fid-core
http://sourceforge.net/projects/fid-emacs