class A[+T]