An arbitrary for a function from A to F<B>. Requires an arbitrary of B, a function converting arbitraries of A to arbitraries of F<A>, and the type A.
A
F<B>
B
F<A>
An arbitrary of type (a: A) => F<B>.
(a: A) => F<B>
An arbitrary for a function from
AtoF<B>. Requires an arbitrary ofB, a function converting arbitraries ofAto arbitraries ofF<A>, and the typeA.