gabさんの指摘を受けて

たいていの場合オブジェクトは一連のメソッドによって内部状態がカプセル化されているわけですが、FsCheckではこのようなオブジェクトを対象にしたテストを実行することもできます。

という感じでどうでしょうか？