On 15 August 2010 08:50, Ivan Lazar Miljenovic <ivan.miljeno...@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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe