Trait system => Actual type system?

If Traits reflexively take care of types, we can have a method here that performs a default add() operation but is smart based on the incoming type? Two cents