Pre-RFC: Explicit overload sets for mixed-arity function calls

This is exactly what I need. Traits looks a lot better than what I suggested. Thanks !