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.