Стабильный идентификатор, необходимый при сопоставлении шаблонов? (Scala)

Попытка создать список кортежей, показывающих множественность множественных факторов... идея состоит в том, чтобы сопоставить каждое целое число в отсортированном списке с первым значением в кортеже, используя второе значение для подсчета. Возможно, сделать это легче с помощью takeWhile, но meh. К сожалению, мое решение не будет компилироваться:

  def primeFactorMultiplicity (primeFactors: List[Int]) = {

    primeFactors.foldRight (List[(Int, Int)]()) ((a, b) => (a, b) match {
      case (_, Nil)       => (a, 1) :: b
      case (b.head._1, _) => (a, b.head._2 + 1) :: b.tail
      case _              => (a, 1) :: b
    })
  }

В нем говорится: "ошибка: требуется стабильный идентификатор, но b.head._1 найден". Но изменение второй строки case на следующее прекрасно работает:

      case (i, _) if (i == b.head._1) => (a, b.head._2 + 1) :: b.tail

Почему это и почему компилятор не справляется, если существует такое простое исправление?