Adding more comments and documentation
Adding SlideF about reusing the State Monad
Adding slides on how to generalise into arrows
Added Slide covering Kleisli Arrow type problem