case class CC(x: J[_])

case class CC1(x: Any => J[_])