Continued documentation for monads.