MonadError and fundeps

Marcin 'Qrczak' Kowalczyk
11 May 2001 06:54:09 GMT

Fri, 11 May 2001 14:40:27 +1000, Andrew J Bromage <> pisze:

> What about mzero, though?  What "natural definition" did you have
> in mind?

You are right, mzero is not as automatic as mplus. It surely means
'throwError something', but the value of something must be
determined separately.

'fail' belongs here too: I think it's always 'throwError something'
in practice.

 __("<  Marcin Kowalczyk *
  ^^                      SYGNATURA ZASTĘPCZA