Re: [Haskell-cafe] type checking that I can't figure out ....

Yeah, in a way similar to ArrowPlus/ArrowZero. Then again, I'm not sure whether it would be meaningful to split up MonadPlus like that. On Thu, Jun 4, 2009 at 12:40 AM, Antoine Latter wrote:

On Wed, Jun 3, 2009 at 8:52 PM, Daniel Peebles wrote:

...

It seems like if we could get fail out of Monad and into something like MonadFail/Zero, then it might make sense to make a lookup that returned an instance of that instead?

Dan

Do you mean splitting up MonadPlus/Alternative into two classes? Or we could just return in MonadPlus/Alternative.

Antoine