Any function gives rise to a contravariant functor. An article for object-oriented programmers. This article is an instalment in an article series about contravariant functors. It assumes that you've read the introduction. In the first example article, you saw how the Command Handler pattern gives rise to a contravariant functor.