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

[Antoine Latter]

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?
>
> Dan
>

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

Antoine