<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
<title></title>
</head>
<body bgcolor="#ffffff" text="#000000">
Tony Morris wrote:
<blockquote cite="mid:49F78A17.1000808@gmail.com" type="cite">
<pre wrap="">Michael Vanier wrote:
</pre>
<blockquote type="cite">
<pre wrap="">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 class="moz-txt-link-abbreviated" href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://www.haskell.org/mailman/listinfo/haskell-cafe">http://www.haskell.org/mailman/listinfo/haskell-cafe</a>
</pre>
</blockquote>
<pre wrap=""><!---->Are you sure it supports
(>>) :: m a -> m b -> m b
and not
mplus :: m a -> m a -> m a ?
</pre>
</blockquote>
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 ()<br>
<br>
Mike<br>
<br>
<br>
</body>
</html>