Update documentation and add monadic fold