fun <F, A> forAll(GA: Gen<A>, refinement: Refinement<F, A>, f: (A) -> Boolean): Unit
Filters GA creating a new generator that complies with the rules in refinement