Slides/05/monad: start