bracket, (un)block and MonadIO

[Keith Wansbrough]

>  	-- ** 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 <kw217@cl.cam.ac.uk>
http://www.cl.cam.ac.uk/users/kw217/
University of Cambridge Computer Laboratory.