FsCheck example

No nulls FsCheck