Same way when you design a type, you define some requirements over raw data. If one really wanted to argue, that would be that instead of saying that traits/in

Same way when you design a type, you define some requirements over raw data. If one really wanted to argue, that would be that instead of saying that traits/interfaces are types, rather one should say that types are interfaces over raw data. An interface/trait would then supersede the concept of type.