Adds the monadic example code
Fixes a typo in the slides.