Log Message:
Import contravariant-1.5.2 from wip

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.