trait A
trait B extends Dynamic
trait C extends A with Dynamic
trait D extends B