<div dir="ltr">Very +1<div><br></div><div>Just yesterday I was hoping to have a (Monad m, Monoid w) => Monoid (m w) instance; that's probably not possible because it conflicts with too many things, such as the Monoid w => Monoid (Maybe w) instance, but having Monoid w => Monoid (IO w) would have solved my problem. Specifically, this was really useful for me with Foldable, because it allows foldMap to work in a monad; I've had to define my own `foldMapM` several times already.</div><div><br></div><div>-- Andrew</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Nov 13, 2014 at 7:32 AM, Alexander Berntsen <span dir="ltr"><<a href="mailto:alexander@plaimi.net" target="_blank">alexander@plaimi.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">-----BEGIN PGP SIGNED MESSAGE-----<br>
Hash: SHA256<br>
<br>
I've been waiting for this for a while.<br>
<br>
+1. At least until someone presents downsides that I've been overlooking.<br>
<br>
- --<br>
Alexander<br>
<a href="mailto:alexander@plaimi.net">alexander@plaimi.net</a><br>
<a href="https://secure.plaimi.net/~alexander" target="_blank">https://secure.plaimi.net/~alexander</a><br>
-----BEGIN PGP SIGNATURE-----<br>
Version: GnuPG v2<br>
Comment: Using GnuPG with Thunderbird - <a href="http://www.enigmail.net/" target="_blank">http://www.enigmail.net/</a><br>
<br>
iF4EAREIAAYFAlRkzvoACgkQRtClrXBQc7VDVgEAlswOK3dOOaooYtbh48yoWokh<br>
qDHdjy6ryYDvUMmCp/0A/0d5xHR9cUFQ9jcWLE9KXDKZ6oJvOxVDGMz2yMcAp+uo<br>
=zP7M<br>
-----END PGP SIGNATURE-----<br>
<div class="HOEnZb"><div class="h5">_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div>