Axel Simon <[EMAIL PROTECTED]> 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
   \__/       [EMAIL PROTECTED]
    ^^     http://qrnik.knm.org.pl/~qrczak/
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to