Finished monad section first draft