support FsCheck