arrow-core / arrow.core.extensions / OptionMonadCombine / many
open fun <A> Kind<ForOption, A>.many(): Option<SequenceK<A>>
Do you like Arrow?