Consider the following Scala function definition: def f [X] (xs: List [X]) = xs match { case Nii => Nii case y: ys => ys What type does the pattern variable ys have List List[Int] List X