Я пытаюсь понять мотивацию MonadPlus . Зачем это нужно, если уже есть классы типов Monad и Monoid ? Конечно, экземпляры Monoid являются конкретными типами, тогда как экземпляры Monad требуют одного параметра типа. (См. Monoid vs...

У меня есть следующий код: import Control.Monad coin :: MonadPlus m => m Int coin = return 0 `mplus` return 1 Если я оцениваю coin :: Maybe Int в интерпретаторе, он выводит Just 0 . Это нормально из-за реализации Maybe как экземпляра...