Try FsCheck