object F {
  type S = T[Any,Int] {type X[N <: Int, Acc <: Int] = Acc}
}