Krasimir Angelov <[EMAIL PROTECTED]> writes:

> I guess that this is an overkill since we can just
> define IO as
>
> type IO a = ST RealWorld a

'instance MonadIO IO' would start to need some type system extensions.

-- 
   __("<         Marcin Kowalczyk
   \__/       [EMAIL PROTECTED]
    ^^     http://qrnik.knm.org.pl/~qrczak/
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to