<div dir="ltr">I generally feel having these only-one-way-to-do-it instances just defined is better than forcing orphans upon those who _do_ want them.<div><br></div><div>Inevitably those users seem to wind up with separate orphans that tend to collide, or just give up and define their own type. Both of those outcomes are rather suboptimal.<div><br></div><div>-Edward</div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Feb 21, 2015 at 4:48 PM, Joachim Breitner <span dir="ltr"><<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">HI,<br>
<br>
Am Samstag, den 21.02.2015, 21:26 +0000 schrieb Oliver Charles:<br>
<span class="">> Having Applicative might be nice for `pure`. That way we can getSum .<br>
> foldMap pure, and so on. Of course, in that case using `Sum` is no<br>
> different, but this opens up the ability to construct `Sum`s from<br>
> other parts of code that simply require `Applicative`.<br>
<br>
</span>is that any better than "getSum . foldMap Sum"?<br>
<br>
Adding an Applicative instance, when the only main use case is to<br>
cover-over the lack of a Pointed type class, does not seem to be a good<br>
guiding principle.<br>
<br>
BTW, coerce would work as well here, if you for some reason want to use<br>
a polymorphic argument to foldMap.<br>
<br>
Still not convinced :-),<br>
<div class="HOEnZb"><div class="h5">Joachim<br>
<br>
<br>
--<br>
Joachim “nomeata” Breitner<br>
  <a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a> • <a href="http://www.joachim-breitner.de/" target="_blank">http://www.joachim-breitner.de/</a><br>
  Jabber: <a href="mailto:nomeata@joachim-breitner.de">nomeata@joachim-breitner.de</a>  • GPG-Key: 0xF0FBF51F<br>
  Debian Developer: <a href="mailto:nomeata@debian.org">nomeata@debian.org</a><br>
<br>
</div></div><br>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>