scala – 有没有办法在理解中声明一个隐含的val？

foo.flatMap(implicit f => bar(123).flatMap(b =>
  /* and so on... implicit f is still in scope here.*/
))

通常，人们会把它写成一个理解，这使得代码更加可读：

for {
  f <- foo
  b <- bar(123)
  /* yet more method calls that need f as an implicit parameter*/
}

但我需要f是隐含的，我没有看到一个方法来做这个理解。在那儿？当然我可以明确地传递f，但这将意味着再见漂亮的DSL。我会对Scala 2.9和2.10的答案感兴趣。

要清楚，我想做这样的事情，但不会编译：

for {
  implicit f <- foo
  b <- bar(123) //bar takes implicit argument
  /* yet more method calls that need f as an implicit parameter*/
}

编辑：也许一个功能要求是一个好主意？

EDIT2：这应该适用于所有可以用于理解的类型，所以不仅仅是通常的集合类型，如List或Seq，而且与Future。