Apologies for responding to messages in reverse order . . .
> * My reluctance to change the draft H98 report is rising sharply.
Understood!
> * I don't think the H98 report has ever had laws about mzero etc.
No, they went on the transition from 1.4, I think.
> * And the whole laws business i
> On Fri, Jun 21, 2002 at 12:50:21PM +0100, Simon Peyton-Jones wrote:
> > | From: Jon Fairbairn [mailto:[EMAIL PROTECTED]]
> > | Sent: 20 June 2002 16:27
> > | To: Simon Peyton-Jones
> > | Subject: Library report, monad zero laws
> > |
> > | The old report used to include
> > |
> > | m >> zer
On Fri, Jun 21, 2002 at 12:50:21PM +0100, Simon Peyton-Jones wrote:
> | From: Jon Fairbairn [mailto:[EMAIL PROTECTED]]
> | Sent: 20 June 2002 16:27
> | To: Simon Peyton-Jones
> | Subject: Library report, monad zero laws
> |
> | The old report used to include
> |
> | m >> zero = zero
> | zero
Well,
* My reluctance to change the draft H98 report is rising sharply.
* I don't think the H98 report has ever had laws about mzero etc.
* And the whole laws business is flaky because people can and do
make instances of Monad that don't obey the laws.
* Lastly, where does one stop?
Still, I
