8 Nov
2004
8 Nov
'04
2:30 p.m.
Krasimir Angelov <ka2_mail@yahoo.com> 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 \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/