object D { def x[T](a: A[T]) = a }