<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, May 8, 2017 at 1:16 PM, MarLinn <span dir="ltr"><<a href="mailto:monkleyon@gmail.com" target="_blank">monkleyon@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
  
    
  
  <div bgcolor="#FFFFFF"><span class="gmail-">
    On 2017-05-07 05:19, Theodore Lief Gannon wrote:<br>
    <blockquote type="cite">
      <div dir="ltr">
        <div><font face="arial, helvetica, sans-serif" style="white-space:pre-wrap">To avoid surprises, they shouldn't propagate -- when </font><font face="monospace, monospace" style="white-space:pre-wrap">foldMap</font><font face="arial, helvetica, sans-serif" style="white-space:pre-wrap"> invokes </font><font face="monospace, monospace" style="white-space:pre-wrap">even</font><font face="arial, helvetica, sans-serif" style="white-space:pre-wrap">, it sees the default </font><font face="monospace, monospace" style="white-space:pre-wrap">Monoid</font><font face="arial, helvetica, sans-serif" style="white-space:pre-wrap"> instance for </font><font face="monospace, monospace" style="white-space:pre-wrap">Bool</font><font face="arial, helvetica, sans-serif" style="white-space:pre-wrap"> (i.e. none).</font><br></div></div></blockquote></span><p>That sounds like a gateway to inconsistency. I think the solution
      is that adding an aspect to, say, an Int would not apply that
      aspects to all Int's, but only to the ones unifying with the
      annotated one.</p></div></blockquote><div>Hmm... this might work? As long as you can handle the situation where a higher-order function depends on one instance, but a function passed to it depends on another. (Consider Maybe, which has at least four legal Monoid instances, one of which is default!)</div></div></div></div>