case class Test[X <: List[Y], Y <: List[X]](x: X, y: Y)