Krasimir Angelov <ka2_mail at 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 at knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/