如果用Scala编写，则续行monad基本上是
opaque type Cont[R, +A] = (A => R) => R
此类型签名(A => R) => R与foreach / Traversable等中的Future类似：
def foreach[R](f: A => R) => Unit
如果以lambda形式编写，并假设R =:= Unit，则为(A => Unit) => Unit，它是返回类型Unit的延续。
我在这里不完全了解这种联系：我们可以安全地将Traversable / Observable视为允许回调函数A => Unit的延续吗？