`inline fun <reified F> laws(TF: Traverse&lt...

# arrow-contributors

[simon.vergauwen]

inline fun <reified F> laws(TF: Traverse<F> = traverse<F>(), FF: Functor<F> = functor<F>(), gen: Gen<Kind<F, Int>>, EQ: Eq<Kind<F, Int>> = eq())