Slides for a talk on the Monad pattern