"Klaus D. Witzel" <klaus.witzel at cobss.com> wrote in message

> It is perhaps possible to go one step further (or go back, for that 
> matter) and have no instance traits and no class traits, but just traits

+1. This seems much cleaner (without knowing the intricacies of 
implementation).

But there is value to having an explicit "pair-of-traits" construct, since a 
trait on normal instances often naturally pairs with (and needs) a 
corresponding trait on the class, and vice-versa.

Sophie