trait A[T <: A[A[T]]]