By the way, upon `Tuple` construction, do all args get copied to a new memory location? That would be a waste...