MonadError and fundeps

11 May 2001 06:54:09 GMT

Fri, 11 May 2001 14:40:27 +1000, Andrew J Bromage <andrew@bromage.org> 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 * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK