<div dir="ltr">Yep. I was backstabbed by ghci seemingly having no issue with my definition when I asked for the type.</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Apr 16, 2013 at 9:49 PM, Tom Ellis <span dir="ltr"><<a href="mailto:tom-lists-haskell-cafe-2013@jaguarpaw.co.uk" target="_blank">tom-lists-haskell-cafe-2013@jaguarpaw.co.uk</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Tue, Apr 16, 2013 at 01:53:19PM +0100, Oliver Charles wrote:<br>
> On 04/16/2013 01:47 PM, Lyndon Maydwell wrote:<br>
> >You could do:<br>
> ><br>
> >runKleisli . mconcat . map Kleisli :: Monoid (Kleisli m a b) => [a<br>
> >-> m b] -> a -> m b<br>
> ><br>
> >Would that work for you?<br>
> I can't find an instance for Monoid (Kleisli m a b) in `base`, so<br>
> presumably the author would also have to write this instance? If so<br>
> - would that really be any different to using that fold?<br>
<br>
</div>It doesn't make sense anyway. It would have to be "Kleisli m a a" which<br>
would presumably require a newtype.<br>
<span class="HOEnZb"><font color="#888888"><br>
Tom<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">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>
</div></div></blockquote></div><br></div>