intead of using the suchThat filtering, Gen.choose