[Haskell-cafe] Better names for

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/