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
A
toF<B>
. Requires an arbitrary ofB
, a function converting arbitraries ofA
to arbitraries ofF<A>
, and the typeA
.