"Fails to compile unless the tuple has exactly one element of that type."

That type here being int and double.

Clever, but not robust.