Updating documentation with Monads chapter