On Tue, Apr 28, 2009 at 4:54 PM, Michael Vanier <span dir="ltr"><<a href="mailto:mvanier42@gmail.com">mvanier42@gmail.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I've stumbled upon a structure that is like a weaker version of a monad, one that supports return and >> but not >>=. Has anyone seen this before, and if so, does it have a standard name?</blockquote><div>
<br>That is a strange structure. The type parameter is hardly doing anything: whenever you compose two of them together, you have no choice but to ignore the left one. <br><br>Let's call your structure S. It's likely that S a is isomorphic to a pair (m, a), where m is some monoid.<br>
<br>I would see if you can restate your problem in terms of a monoid.<br><br>Luke</div></div><br>