小编Luc*_*cky的帖子

如果我们选择它们,两个函数是否等效monadPlusSDif,Maybe作为数据类型MonadPlus？

tdif :: Int -> Int -> Maybe Int
tdif x y
    | y == 0 = Nothing
    | otherwise = Just (div x y)

monadPlusSDif :: MonadPlus m => Int -> Int -> m Int
monadPlusSDif x y = guard (y /= 0) >> return (div x y)