Hello, may i ask a language design question here?
I believe currently tuples are the only structural typing types in the language, and the API surface for tuples is especially lacking.
Both 'creating' tuples from code and 'reflection' on the internal structure of tuples are not satisfying.
Fn* series traits have long been blocking on this affair settled, with the consideration of supporting variadic arguments.
I've beening thinking, whether allowing all structural typing values as arguments of Fn* traits, and design some minimal reflection-like API for all structural typing values is feasible. This will unblock the
Fn* traits stablization, i think.