trait B {
  type A[T] >: A[A[T]]
}