[Haskell-cafe] [Haskell] Functor => Applicative => Monad
lennart at augustsson.net
Fri Dec 17 00:57:20 CET 2010
On Thu, Dec 16, 2010 at 6:03 PM, John Smith <voldermort at hotmail.com> wrote:
> On 15/12/2010 14:31, Lennart Augustsson wrote:
>> Yes, I think there should be a MonadFail distinct from MonadPlus.
>> Some types, like IO, are not in MonadPlus, but have a special
>> implementation of the fail method.
>> Personally, I think fail should just be removed, but that would break
>> existing code.
>> The fail method was introduced for the wrong reasons (better error
>> messages was the excuse).
> Which other monads (other than MonadPlus subclasses) define fail?
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe