[Haskell] IO == ST RealWorld

[Marcin 'Qrczak' Kowalczyk]

Axel Simon <A.Simon at 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 at knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/