这听起来更像是when或unless的工作：

somefun :: Either String Int
somefun = do
   unless (4+2 == 8) $ Left somecontent
   return 2

实际上我更愿意写when (4+2 /= 8) $ Left somecontent。

如果条件失败，guard将与empty一起工作，所以不。您应该使用fail，从而创建一些允许添加失败消息的guard。
因此，您可以使用：

{-# LANGUAGE FlexibleInstances #-}

instance MonadFail (Either String) where
    fail = Left

guard' :: MonadFail m => String -> Bool -> m ()
guard' msg = go
  where go False = fail msg
        go True = pure ()

所以你失败了：

somefun :: Either String Int
somefun =  do guard' "arithmetic error" (4+2 == 8); return 2

实际上，我很惊讶地发现Either String不是MonadFail的示例（感谢@JosephSible注意到这一点）。