trait A[T]