Re: bracket, (un)block and MonadIO

-- ** The @handle@ functions - handle, -- :: (Exception -> IO a) -> IO a -> IO a - handleJust,-- :: (Exception -> Maybe b) -> (b -> IO a) -> IO a -> IO a + handle, -- :: MonadIO m => (Exception -> m a) -> m a -> m a + handleJust,-- :: (Exception -> Maybe b) -> (b -> m a) -> m a -> m a

Is the MonadIO constraint on m intentionally missing from handleJust? --KW 8-) -- Keith Wansbrough http://www.cl.cam.ac.uk/users/kw217/ University of Cambridge Computer Laboratory.