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

Either<L, NonEmptyList<B>> traverseEither(F<A, Either<L, B>>)
Either<NonEmptyList<B>, R> traverseEitherLeft(F<A, Either<B, R>>)
Either<L, NonEmptyList<B>> traverseEitherRight(F<A, Either<L, B>>)
F<C, NonEmptyList<B>> traverseF(F<A, F<C, B>>)
IO<NonEmptyList<B>> traverseIO(F<A, IO<B>>)
List<NonEmptyList<B>> traverseList(F<A, List<B>>)
Option<NonEmptyList<B>> traverseOption(F<A, Option<B>>)
P1<NonEmptyList<B>> traverseP1(F<A, P1<B>>)
Seq<NonEmptyList<B>> traverseSeq(F<A, Seq<B>>)
Set<NonEmptyList<B>> traverseSet(Ord<B> ord,F<A, Set<B>>)
Stream<NonEmptyList<B>> traverseStream(F<A, Stream<B>>)
Trampoline<NonEmptyList<B>> traverseTrampoline(F<A, Trampoline<B>>)
Validation<E, NonEmptyList<B>> traverseValidation(F<A, Validation<E, B>>)
Validation<E, NonEmptyList<B>> traverseValidation(Semigroup<E> semigroup,F<A, Validation<E, B>>)

B foldRightN(F2<A, B, B>, F<A, B>)
B foldRightN(F<A, F<B, B>>, F<A, B>)
B foldLeftN(F2<B, A, B>, F<A, B>)
B foldLeftN(F<B, F<A, B>>, F<A, B>)