Worked on monad article.  Split State monad into separate article.