Very nice! Now make it work for int* and string*, but indexing the tuple returns (non-pointer) int and string. This is the original use case that prompted this ER, btw, so if it can't be achieved, then we haven'tsolved anything.
My original point was that it shouldn't be done even if it can be done.
