[Haskell-cafe] Better names for

[Marc Busqué]

Hi there!

I've heard several times that some Haskell type classes and methods are
ill-named.

For instance, a functor can be both covariant and contravariant, while
Haskell `Functor` typeclass i just covariant. Would `Cofunctor` be a
better name for it? And what about the `fmap` method? Would it be better
to call it `comap`? How about `Bifunctor`, `Profunctor` and others?

Thanks,

Marc Busqué
http://waiting-for-dev.github.io/about/