Re: [Haskell] IO == ST RealWorld

Axel Simon <A.Simon@kent.ac.uk> writes:

One function that particularly annoyed me is in Control.Exception

handle :: (Exception -> IO a) -> IO a -> IO a

should be

handle :: MonadIO m => (Exception -> m a) -> m a -> m a

I think it would be unimplementable. -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/