We discovered during quickchecking that a monad associativity law can fail.  And that it&#39;s a semantic bug, not an implementation bug.  I don&#39;t know whether Freddie is running into this same issue or something else.  - Conal<br>
<br><div class="gmail_quote">On Sun, Mar 29, 2009 at 8:27 PM, Jake McArthur <span dir="ltr">&lt;<a href="mailto:jake.mcarthur@gmail.com">jake.mcarthur@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im">Freddie Manners wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I&#39;ve hit a rather fundamental problem: it seems Event doesn&#39;t obey the Monad laws.<br>
</blockquote>
<br></div>
Yes, this is a known problem. Event is not a Monad. I don&#39;t think there are plans to correct it any time soon. My personal preference is to pretend that Event has no Monad instance.<br><font color="#888888">
<br>
- Jake</font><div><div></div><div class="h5"><br>
_______________________________________________<br>
Reactive mailing list<br>
<a href="mailto:Reactive@haskell.org" target="_blank">Reactive@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/reactive" target="_blank">http://www.haskell.org/mailman/listinfo/reactive</a><br>
</div></div></blockquote></div><br>