[Haskell-cafe] type checking that I can't figure out ....
pumpkingod at gmail.com
Thu Jun 4 01:26:32 EDT 2009
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 <aslatter at gmail.com> wrote:
> On Wed, Jun 3, 2009 at 8:52 PM, Daniel Peebles <pumpkingod at gmail.com> 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?
> Do you mean splitting up MonadPlus/Alternative into two classes? Or we
> could just return in MonadPlus/Alternative.
More information about the Haskell-Cafe