Полиморфные обновления в неизменной иерархии классов

я хотел бы иметь возможность собирать объекты предметной области из черт в соответствии с различными свойствами, которые могут иметь конкретные классы. Когда мои объекты изменяются, это довольно просто. Например:

trait HasHitPoints { var hitPoints: Int = 100 }
trait HasBearing { var bearing: Double = 0 }

class Ship extends HasHitPoints with HasBearing
class Base extends HasHitPoints

val entities = new Ship :: new Base :: Nil
entities.collect { case h: HasHitPoints => h.hitPoints += 10 }

В частности, я могу полиморфно прочитать или обновить любой экземпляр HasHitPoints , не зная конкретного типа.

Как лучше всего реализовать это с помощью неизменяемых объектов? Если я буду счастлив просто прочитать свойства, тогда я могу сделать что-нибудь вроде:

trait HasHitPoints { val hitPoints: Int }
trait HasBearing { val bearing: Double }

case class Ship(hitPoints: Int, bearing: Double) extends HasHitPoints with HasBearing
case class Base(hitPoints: Int) extends HasHitPoints

val things = Ship(50, 0) :: Base(100) :: Nil

val totalHitPoints = things.collect { case h: HasHitPoints => h.hitPoints }.sum

Кроме того, я могу легко изменить конкретные классы, используя copy , если я знаю точный тип. Самая сложная часть - это, например, обновление произвольных HasHitPoints . Если у меня много конкретных классов и много разных свойств, которые я хотел бы добавить, как лучше всего избежать взрыва стандартного кода?