How do you get labeled associated values from Mirror children?

I see that you've put a lot of good thought into this! Roadmap for and state of single element tuple types?

I'd be fine with this as is, as long as it could be cast to not have the label, the same as other tuples.