title: Convert an Option[Validation[E, A]] to a Validation[E, Option[A]]
body: <p>In ScalaZ, what is the idiomatic way to convert an <code>Option[Validation[E, A]]</code> to a <code>Validation[E, Option[A]]</code>?</p>
  
  <p>For example, in the following hypothetical code:</p>
  
  <pre><code>def convert(x: Option[Validation[E, A]]): Validation[E, Option[A]] =    
    /* ??? */
  
  def validateThing(thing: A): Validation[E, A] = 
    /* whatever */
  
  def exampleUseCase(maybeThing: Option[Thing]): Validation[E, Option[Thing]] = {
    val validated: Option[Validation[E, Thing]] = a.map(validateThing(_))
  
     // ...
  
    val result: Validation[E, Option[Thing]] = convert(validated)
    result 
  }
  </code></pre>
  
  <p>what would the implementation of <code>convert</code> look like in idiomatic ScalaZ?</p>