Essentially, I want do write things in the style of (pseudocode) do { result1 <- either1 result2 <- either2 result3 <- fooReturningEit

Essentially, I want do write things in the style of (pseudocode) do { result1 <- either1 result2 <- either2 result3 <- fooReturningEither(result1, resul2) } yield result1 + result3 and so on. This gets very noisy without syntactic sugar.