Use a better FsCheck sample