In Scala, when you say: class C extends Super with T that's exactly as when you say in D: class C : T!(Super) where T is a class with a parameterized base: class T(Base) : Base { ... stuff ... } Right? I wish MI were this simple. Bill claimed it is, and I think he's thoroughly wrong. Andrei