After the POC it would be: ``` fun <G, A, B>...
# arrow-contributors
r
After the POC it would be:
Copy code
fun <G, A, B> Kind<F, A>.traverse(f: (A) -> Kind<G, B>, with Applicative<G>): Kind<G, Kind<F, B>>