Either<L, Validation<E, C>> sequenceEither(Validation<E, Either<L, C>>)
F<C, Validation<E, B>> sequenceF(Validation<E, F<C, B>>)
IO<Validation<E, C>> sequenceIO(Validation<E, IO<C>>)
List<Validation<E, C>> sequenceList(Validation<E, List<C>>)
Option<Validation<E, C>> sequenceOption(Validation<E, Option<C>>)
P1<Validation<E, C>> sequenceP1(Validation<E, P1<C>>)
Promise<Validation<E, C>> sequencePromise(Validation<E, Promise<C>>)
Seq<Validation<E, C>> sequenceSeq(Validation<E, Seq<C>>)
Set<Validation<E, C>> sequenceSet(Ord<E> ordE, Ord<C> ordC, Validation<E, Set<C>>)
Stream<Validation<E, C>> sequenceStream(Validation<E, Stream<C>>)
Trampoline<Validation<E, C>> sequenceTrampoline(Validation<E, Trampoline<C>>)
Validation<E1, Validation<E, C>> sequenceValidation(Validation<E, Validation<E1, C>>)

Either<L, Validation<E, C>> traverseEither(F<T, Either<L, C>>)
F<C, Validation<E, B>> traverseF(F<T, F<C, B>>)
Promise<Validation<E, C>> traversePromise(F<T, Promise<C>>)
Seq<Validation<E, C>> traverseSeq(F<T, Seq<C>>)
Set<Validation<E, C>> traverseSet(Ord<E>, Ord<C>, F<T, Set<C>>)
Trampoline<Validation<E, C>> traverseTrampoline(F<T, Trampoline<C>>)
Validation<E1, Validation<E, C>> traverseValidation(F<T, Validation<E1, C>>)

Either<L, Option<B>> sequenceEither(Option<Either<L, B>>)
F<C, Option<B>> sequenceF(Option<F<C, B>>)
IO<Option<B>> sequenceIO(Option<IO<B>>)
List<Option<B>> sequenceList(Option<List<B>>)
Option<Option<B>> sequenceOption(Option<Option<B>>)
P1<Option<B>> sequenceP1(Option<P1<B>>)
Promise<Option<B>> sequencePromise(Option<Promise<B>>)
Seq<Option<B>> sequenceSeq(Option<Seq<B>>)
Set<Option<B>> sequenceSet(Ord<B>, Option<Set<B>>)
Stream<Option<B>> sequenceStream(Option<Stream<B>>)
Trampoline<Option<B>> sequenceTrampoline(Option<Trampoline<B>>)
Validation<E, Option<B>> sequenceValidation(Option<Validation<E, B>>)

F<C, Option<B>> traverseF(F<A, F<C, B>>)
Promise<Option<B>> traversePromise(F<A, Promise<B>>)
Trampoline<Option<B>> traverseTrampoline(F<A, Trampoline<B>>)