Apply PR's comment again. https://github.com/yukitos/FsCheckDocsJP/commit/3b728c313090a5e0bf882c0622392db147d43c35#docs-4_statefultesting-md-P45