Playing around with FsCheck in C#