Single-element labeled tuples?

[MutatingFunk (James Froggatt)]

@Joe_Groff

limiting the tuple conversion rules to be less unpredictable and less straining on the type checker

What sort of limitations are we talking about? Is implicit conversion in a particular direction a source of problems, or both?