A family of traits will cause weirdness around name resolution and also complicates the implementation and semantics considerably. I would much rather see if tupling causes any *actual* problems.