Functors, Applicatives, And Monads In Pictures