val o1: Option[Int] = ...
val o2: Option[Int] = ...
val o3: Option[Int] = for (i1 <- o1; i2 <- o2) yield { i1 + i2 }