(Not final) slides for reader monad presentation