> - The trait system is full of "but" that make it not as simple to use in practice (ej: Is too common traits require extra work because this or that rule in THIS case must be appeased, and also, is where is more obvious things are in disconnect with the rest of the lang)
Can you give a concrete example of what you mean here? I don't doubt that you have a legitimate criticism, but it's phrased in a way that I genuinely am not able to understand