zio.ZIO
Enables to check conditions in the value produced by ZIO If the condition is not satisfied, it fails with NoSuchElementException this provide the syntax sugar in for-comprehension: for { (i, j) <- io1 positive <- io2 if positive > 0 } yield ()