<div dir="ltr">Wow looks like this Monoid instance isn&#39;t included in Control.Monad... My mistake.</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Apr 16, 2013 at 8:47 PM, Lyndon Maydwell <span dir="ltr">&lt;<a href="mailto:maydwell@gmail.com" target="_blank">maydwell@gmail.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">You could do:<div><br></div><div>runKleisli . mconcat . map Kleisli :: Monoid (Kleisli m a b) =&gt; [a -&gt; m b] -&gt; a -&gt; m b</div>

<div><br></div><div>Would that work for you?</div></div>
<div class="gmail_extra"><br><br><div class="gmail_quote"><div><div class="h5">On Tue, Apr 16, 2013 at 8:35 PM, Christopher Howard <span dir="ltr">&lt;<a href="mailto:christopher.howard@frigidcode.com" target="_blank">christopher.howard@frigidcode.com</a>&gt;</span> wrote:<br>


</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">So, I&#39;m doing something like this<br>
<br>
foldl (&gt;&gt;=) someA list :: Monad m =&gt; m a<br>
<br>
where<br>
  list :: Monad m =&gt; [a -&gt; m a],<br>
  someA :: Monad m =&gt; m a<br>
<br>
Is there a more concise way to write this? I don&#39;t think foldM is what I<br>
want -- or is it?<br>
<span><font color="#888888"><br>
--<br>
<a href="http://frigidcode.com" target="_blank">frigidcode.com</a><br>
<br>
</font></span><br></div></div>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br></div>
</blockquote></div><br></div>