[Haskell-cafe] Removing polymorphism from type classes (viz. Functor) (Again)

[Stephen Tetley]

On 15 August 2010 08:50, Ivan Lazar Miljenovic
<ivan.miljenovic at gmail.com> wrote:

> Yeah, I'm working on something like this at the moment, but I'm
> currently stuck on naming: if I want to have Functor for kind * -> *,
> what's a good name for a type class for kind *?

Conor McBride has suggested looking at arity families of functor-like
things (functor, traversable, foldable, halfzippable(?)) may be
worthwhile:

http://www.haskell.org/pipermail/haskell-cafe/2008-June/044011.html

Functors and bi-functors have obvious names, but naming zero arity and
three-and-higher ones would need systematic treatment.