Some additions to the source code docs of the Core/Monad module.