edited the monad section to match up with the text before