trait E extends D