Re: MonadZero

[Philip Wadler]

Ralf says,

  Why should we introduce
  concepts (irrefutable, unfailable) only for monad expressions?

`Unfailable' was introduced explicitly for monad expressions, and I
(and many others) agree it should not be introduced just for `do'.
`Irrefutable' is already part of the language, see the Haskell report.
-- P