Making more out of traits

Just dropping this here...

(there was also a blog post I remember reading that nicely summarized how coherence and two other desirable properties of interface implementations are mutually incompatible, and did a survey of which property is sacrificed by various languages... but now I can't find it. :V)
(oh, I was thinking about this, and I apparently entirely misremembered everything about it)