Объединение валидации со scalaz 7

Учитывая следующие функции:

def foo( a: A ): ValidationNEL[String,Seq[B]] =...

def bar( b: B ): ValidationNEL[String,C] =...

Я хотел бы объединить их, например, для создания функции, которая вызывает foo, а затем в конечном итоге вызывает barдля каждого элемента в произведенном Seq, например, чтобы получитьValidationNEL[String,Seq[C]]:

def fooAndBar( a: A ): ValidationNEL[String,Seq[C]]

Документация в Scalaz 7 очень короткая, и я не смог найти подходящего примера.