Test that values of type F[+_,-_] satisfy the laws using the specified
function to construct a generator of F[A,B] values given a generator of
B values.
Test that values of type F[+_,-_] satisfy the laws using the specified
function to construct a generator of F[A,B] values given a generator of
B values.