An arbitrary for a function from F<A> to B. Requires an arbitrary of B and specifying the kind type parameters.