[Haskell-cafe] Better names for

Marc Busqué marc at lamarciana.com
Wed Apr 22 09:17:54 UTC 2020

Hi there!

I've heard several times that some Haskell type classes and methods are

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?


Marc Busqué

More information about the Haskell-Cafe mailing list