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 <aslat...@gmail.com> wrote: > On Wed, Jun 3, 2009 at 8:52 PM, Daniel Peebles <pumpkin...@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? >> >> Dan >> > > Do you mean splitting up MonadPlus/Alternative into two classes? Or we > could just return in MonadPlus/Alternative. > > Antoine > _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe