An arbitrary for a function from F<A> to B. Requires an arbitrary of B and specifying the kind type parameters.
F<A>
B
An arbitrary of type (a: F<A>) => B.
(a: F<A>) => B
An arbitrary for a function from
F<A>
toB
. Requires an arbitrary ofB
and specifying the kind type parameters.