<div>As the devil's advocate I'd like to point out that we could just leave Endo alone, and define its generalized counterpart separately. No worries about TypeSynonymInstances and no hassle.</div>
<div>Â </div>
<div>-Edward Kmett</div>
<div>Â </div>
<div class="gmail_quote">On Thu, Jul 9, 2009 at 9:13 AM, <span dir="ltr"><<a href="mailto:roconnor@theorem.ca">roconnor@theorem.ca</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">
<div class="im">On Thu, 9 Jul 2009, Ross Paterson wrote:<br><br></div>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">
<div class="im">On Wed, Jul 08, 2009 at 10:05:31PM -0400, <a href="mailto:roconnor@theorem.ca" target="_blank">roconnor@theorem.ca</a> wrote:<br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">The only packages on hackage containing instances for Endo are:<br><br>Â base<br>Â HStringTemplate<br>Â monoids<br>
 special-functors<br> TypeCompose<br></blockquote><br>Is this few enough that we can make our change?<br></blockquote><br>The following additional packages use the current structure of Endo,<br>which would change:<br><br>
</div>...<br></blockquote><br>Would they really need to change if we did<br><br>newtype Endomorph a x = Endo { getEndo :: a x x }<br><br>type Endo = Endomorph (->)<br><br>I guess it would be kinda confusing if we did that. ... but only a little. :)
<div class="im"><br><br>-- <br>Russell O'Connor                    <<a href="http://r6.ca/" target="_blank">http://r6.ca/</a>><br>``All talk about `theft,''' the general counsel of the American Graphophone<br>
Company wrote, ``is the merest claptrap, for there exists no property in<br>ideas musical, literary or artistic, except as defined by statute.''<br>_______________________________________________<br></div>
<div>
<div></div>
<div class="h5">Libraries mailing list<br><a href="mailto:Libraries@haskell.org" target="_blank">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>