// define the order
trait D extends C with B