handle :: (Monad m, MonadFail m) => Either String a -> m a
handle e = case e of
  Left errMsg -> fail errMsg
  Right a -> return a
handle :: (Monad m, MonadFail m) => Either String a -> m a
handle e = case e of
  Left errMsg -> fail errMsg
  Right a -> return a
handle e = case e of
  Left errMsg -> fail errMsg
  Right a -> return a