trait D extends C with B