ImplicitParams.scala

object ImplicitParams {
  trait C[A]
}                                                                                                                               

ModuleA.scala

object ModuleA {
  import ImplicitParams._
  import ModuleB._

  def foo[A](a: A)(implicit c: C[A]) = bar(a)
}

ModuleB.scala

object ModuleB {
  import ImplicitParams._
  def bar[A](a: A)(implicit c: C[A]): C[A] = c
}

ここで、barのimplicitな引数cの正確な型がModuleB.scalaのコンパイル時にわからないことを持って「動的ディスパッチ」と言っていいかどうか。これって単に多相関数の呼び出しがネストしたときの一般的な話では？というのが自分の見解。