проверка скаляза и монада списка

Я пытаюсь придумать что-то похожее на следующее:

val s: Validation[String, Int] = 1.success
def s2(i: Int): Validation[String, Int] = i.success

val result = for {
  i <- s
  j <- List(1, 2)
  k <- s2(j)
} yield "fine";

Приведенный выше код не компилируется, и я понимаю, что синтаксически он не имеет смысла.

Я пытаюсь выполнить список проверок монадическим способом. Как мне этого добиться?