`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>(), crossinline cf: (Int) -> Kind<F, Int>, EQ: Eq<Kind<F, Int>> = eq())