<div class="gmail_quote">On Tue, Apr 28, 2009 at 3:54 PM, Michael Vanier <span dir="ltr">&lt;<a href="mailto:mvanier42@gmail.com">mvanier42@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;">
I&#39;ve stumbled upon a structure that is like a weaker version of a monad, one that supports return and &gt;&gt; but not &gt;&gt;=. ┬áHas anyone seen this before, and if so, does it have a standard name?<br>
</blockquote><div><br>┬áThat&#39;s similar to Applicative, which supports fmap (via Functor), return (named pure) and ap (named &lt;*&gt;), and hence &gt;&gt; (named *&gt;).<br></div></div>