trait D extends B with C