Adding a newtype EndoCategory to Control.Category (ticket #3362)
Isaac Dupree
ml at isaac.cedarswampstudios.org
Wed Jul 8 15:50:04 EDT 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.
CatEndo?
More information about the Libraries
mailing list