composeModify

suspend fun <A, B> Traversal<A, B>.composeModify(    aGen: Arb<A>,     funcGen: Arb<(B) -> B>,     eq: (A, A) -> Boolean): PropertyContext