<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sun, Sep 28, 2014 at 3:20 PM, Brandon Allbery <span dir="ltr"><<a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><span class=""><div class="gmail_quote">On Sun, Sep 28, 2014 at 3:14 PM, Edward Kmett <span dir="ltr"><<a href="mailto:ekmett@gmail.com" target="_blank">ekmett@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">But since you insist on trying to force me to provide a fully concrete realization of a counter-proposal</blockquote></div><br></span>Well, no. I, and apparently dfeuer, are missing something; I'm trying to figure out what it is. So I don't want a fleshed-out counter-proposal, just pointers to whatever it is that's not at all obvious to us.</div></div></blockquote><div><br></div><div>Unpacking this a bit more:</div><div><br></div><div>I fully admit to not being in my element when it comes to things like this. I also have this feeling (which may well be a heuristic that is inappropriate in this case) that, when someone proposes something that sounds like it's specific to a particular instance of a typeclass as belonging in the typeclass itself, something's wrong somewhere. In particular, I'm not quite seeing where this fits within Data.Bits.</div></div><div><br></div><div>Now, it may well be that there is some algebra somewhere that makes what I'm seeing a good generalization to all of Data.Bits (and the fact that you're proposing it makes it seem more likely; sadly, it also makes it more likely that it'll soar well over my head...). Flip side, it may be that the use case is compelling enough to justify making the Bool instance "different" from the other Data.Bits instances. Or some other possibility I'm completely missing.</div><div><br></div><div>Under normal circumstances I'd probably just accept that this is something over my pay grade --- but it seems dfeuer is tripping over the same confusion? So I'm trying to figure out how to get at the part that's not coming together in all of this, that would make it look less like abuse-of-typeclass and more an expression of a mathematical consonance on some level.</div><div><br></div>-- <br><div dir="ltr"><div>brandon s allbery kf8nh                               sine nomine associates</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>                                  <a href="mailto:ballbery@sinenomine.net" target="_blank">ballbery@sinenomine.net</a></div><div>unix, openafs, kerberos, infrastructure, xmonad        <a href="http://sinenomine.net" target="_blank">http://sinenomine.net</a></div></div>
</div></div>