Functional programming: Monads, Functors and Applicatives in Pictures (2013)
adit.io