hub.darcs.net :: ross -> transformers -> issue

elpinal

In Control.Monad.Trans.Except, the documentation of catchE says:

-- * @'catchE' h ('lift' m) = 'lift' m@

-- * @'catchE' h ('throwE' e) = h e@

but it should be:

-- * @'catchE' ('lift' m) h = 'lift' m@

-- * @'catchE' ('throwE' e) h = h e@