He only suggesting adding associated traits to trait definitions from what I can see. So there shouldn't be any extra abstraction cost. And any actual cost sho

He only suggesting adding associated traits to trait definitions from what I can see. So there shouldn't be any extra abstraction cost. And any actual cost shouldn't be any larger than it is for traits generally. I believe most of the controversy in this space is about language complexity cost.