FsCheck 0.8.3