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.