trait B[T] extends A[T]