Added the Writer monad to the main readme