trait A[S]