FsCheckではほんの少し手を加えるだけで、テスト対象となるクラスに対してモデルを(以下同)

という感じでどうでしょう？