Log Message:
Import hs-contravariant-0.1.3 as wip/hs-contravariant.

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.