On Thu, 9 Jul 2009, Ross Paterson wrote:
On Wed, Jul 08, 2009 at 10:05:31PM -0400, roconnor@theorem.ca wrote:
The only packages on hackage containing instances for Endo are:
base HStringTemplate monoids special-functors TypeCompose
Is this few enough that we can make our change?
The following additional packages use the current structure of Endo, which would change:
...
Would they really need to change if we did newtype Endomorph a x = Endo { getEndo :: a x x } type Endo = Endomorph (->) I guess it would be kinda confusing if we did that. ... but only a little. :) -- Russell O'Connor http://r6.ca/ ``All talk about `theft,''' the general counsel of the American Graphophone Company wrote, ``is the merest claptrap, for there exists no property in ideas musical, literary or artistic, except as defined by statute.''