なんともならない

gistfile1.scala

def withRight[A, B] = new { def apply[R](f: (Either[A, B] => Either.RightProjection[A, B]) => R) = f(_.right) }
def withLeft[A, B] = new { def apply[R](f: (Either[A, B] => Either.LeftProjection[A, B]) => R) = f(_.left) }

withRight[Int, Int] { implicit ev =>
  for {
    x <- Right(1)
    y <- Right(2)
  } yield x + y // => Right(3)
  for {
    x <- Right(1)
    y <- Left(2)
  } yield x + y // => Left(2)
}

型パラメタ A, B を内側の apply に逃がすと、型推論の都合上型が付かなくて死ぬ。
仮に R =:= Either[A, B] に限定したものを書いてやったとしても、Left(2) とかは Either[Int, Nothing] なので、型を教えてあげないと Int + Nothing が解決できない、といわれる（ぐぬぬ）