`Add((x, y), y)` doesn't even make sense.

But I think this is right. In this case, `Basic` and `Tuple` are the operations. `Basic()` with no args should give nothing because it has no args, but that should be handled generally in the code (and will be handled if you do `if a.args`).