[Haskell-cafe] [Haskell] Functor => Applicative => Monad

[Conor McBride]

On 15 Dec 2010, at 17:48, Brent Yorgey wrote:

> On Wed, Dec 15, 2010 at 06:25:30PM +0100, Maciej Piechotka wrote:
>> On Wed, 2010-12-15 at 13:51 +0200, John Smith wrote:
>>> On 15/12/2010 11:39, Lennart Augustsson wrote:
>>>> Any refutable pattern match in do would force MonadFail (or  
>>>> MonadPlus if you prefer).  So

[..]

>>>>
>>>> As far as type inference and desugaring goes, it seems very  
>>>> little would have to be changed in an implementation.
>>>
>>> Is there a need for a MonadFail, as distinct from mzero? fail  
>>> always seems to be defined as error in ordinary monads,
>>> and as mzero in MonadPlus (or left at the default error).
>>
>> Not all types can implement mplus to begin with even if they can have
>> 'zero' type. For example technically Maybe breaks the laws while  
>> still
>> having useful fail:

[..]

>
> But that depends on what laws you choose for MonadPlus.  See
> http://www.haskell.org/haskellwiki/MonadPlus .

What has any of this to do with monads?

Cheers

Conor