Indeed, I agree.
On 30/08/06, Ashley Yakeley <[EMAIL PROTECTED]> wrote:
Cale Gibbard wrote:
> While we're at it, let's split MonadZero and MonadPlus --
> the decision to merge them was not well thought-out, and a lot of
> expressive power in type signatures is lost there.
This should be split into three classes, "MonadZero", "MonadPlus" and
"MonadOr" owing to variations in instances of the current MonadPlus.
See:
http://haskell.org/haskellwiki/MonadPlus
http://haskell.org/haskellwiki/MonadPlus_reform_proposal
--
Ashley Yakeley
Seattle WA
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
