Updated monad slides