// put a level in between D and its concrete class
trait E extends D