Contravariant functors, sometimes referred to colloquially as
cofunctor, even though the dual of a functor is just a functor. As
with functor the definition of contravariant for a given ADT is
unambiguous.

Homepage:
http://hackage.haskell.org/package/contravariant
