Contravariant Dependency Injection

How to use a DI Container in FP... or not. This article is an instalment in an article series about contravariant functors. It assumes that you've read the introduction, and a few of the examples. People sometimes ask me how to do Dependency Injection (DI) in Functional Programming (FP).