arrow-core / arrow.core.extensions / SequenceKTraverse / traverse
open fun <G, A, B> Kind<ForSequenceK, A>.traverse(AP: Applicative<G>, f: (A) -> Kind<G, B>): Kind<G, SequenceK<B>>
Do you like Arrow?