MonadError and fundeps
Marcin 'Qrczak' Kowalczyk
11 May 2001 06:54:09 GMT
Fri, 11 May 2001 14:40:27 +1000, Andrew J Bromage <firstname.lastname@example.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
'fail' belongs here too: I think it's always 'throwError something'
__("< Marcin Kowalczyk * email@example.com http://qrczak.ids.net.pl/
^^ SYGNATURA ZASTĘPCZA