IRC there was a problem with having a heterogeneous variadic (=compiler's type tuple) function to preserve ref-ness.

could you please provide a code snippet demonstrating this?