I think the first interpretation is that he thinks a language should have either traits, multiple inheritance (of implementation) or mixins. The second interpr

I think the first interpretation is that he thinks a language should have either traits, multiple inheritance (of implementation) or mixins. The second interpretation would be that a language should have algebraic data types.