Are multiple self-types possible?

You can have a single self-type which is a compound type.

Try this:

trait A {
  def aValue = 1
}
trait B {
  def bValue = 1
}
trait C {
  self: A with B =>
  def total = aValue + bValue
}

class ABC extends A with B with C