trait B extends A