<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
Luke Palmer wrote:
<blockquote
cite="mid:7ca3f0160904281642me830c8ew3cd57c1eac52f685@mail.gmail.com"
type="cite">On Tue, Apr 28, 2009 at 5:33 PM, Michael Vanier <span
dir="ltr"><<a moz-do-not-send="true"
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;">
<div bgcolor="#ffffff" text="#000000">
<div class="im">Tony Morris wrote:
<blockquote type="cite">
<pre>Michael Vanier wrote:
</pre>
<blockquote type="cite">
<pre>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?
Mike
_______________________________________________
Haskell-Cafe mailing list
<a moz-do-not-send="true" href="mailto:Haskell-Cafe@haskell.org"
target="_blank">Haskell-Cafe@haskell.org</a>
<a moz-do-not-send="true"
href="http://www.haskell.org/mailman/listinfo/haskell-cafe"
target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a>
</pre>
</blockquote>
<pre>Are you sure it supports
(>>) :: m a -> m b -> m b
and not
mplus :: m a -> m a -> m a ?
</pre>
</blockquote>
</div>
Yeah, you're right. It's basically a monad where the type a is fixed
to be (), so you just have<br>
<br>
(>>) :: m () -> m () -> m ()</div>
</blockquote>
<div><br>
That's a monoid.<br>
<br>
Luke</div>
</div>
<br>
</blockquote>
Got it. Thanks.<br>
<br>
Mike<br>
<br>
<br>
</body>
</html>