Control.Monad.Except.Extras