If you were looking at this example, the type can ...

# arrow

[simon.vergauwen]

If you were looking at this example, the type can be inferred from the return type of the function.

fun attackEither(): Either<NukeException, Impacted> =
  binding {
    val (nuke) = arm()
    val (target) = aim()
    val (impact) = launch(target, nuke)
    impact
  }