Adding a newtype EndoCategory to Control.Category (ticket #3362)

[roconnor at theorem.ca]

On Wed, 8 Jul 2009, Edward Kmett wrote:

> Yeah, it would probably have to have a new name because it does have a different kind than the existing
> Endo. GEndo was the best I could come up with that didn't sound verbose (GeneralizedEndo, CategoricalEndo)
> or like it was naming the wrong thing (EndoCategory). I'm not wedded to the name by any means.
> 
> Note: a type synonym,
> 
> > type Endo = GEndo (->)
> 
> like you mentioned would work, but has the downside that it may require clients that provided instances for
> Endo to add TypeSynonymInstances where they previously hadn't and I'm not sure how folks would feel about
> that.

Oh, that is a quite a downside.  I wonder if we can get cabal stats on 
this without difficulty.

As for the name, I'd be happy with the EndoMorphism suggestion given. 
Although it is a bit longish.  I'd also be happy with EndoMorph.

-- 
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.''