Generic method convertible to structural type in scala

Почему я не могу сделать так:

def compare[A <% { def toInt: Int }, 
            B <% { def toInt: Int }]
           (bs: Seq[A], is: Seq[B]): Boolean = { 
  bs.toArray.zip(is) forall { p => p._1.toInt == p._2.toInt } 
}

Для сравнения любой последовательности типов, конвертируемых в Int? Как я могу реализовать подобный паттерн?

Обновление: должно выполняться Message.compare(List(1.0, 2.0, 3.0), List(0, 0, 0))