And some more FsCheck tests in F#