Inferring variant types on packing

[luka-n]

I was thinking I should like the variant type to be inferred if not given as the first element of a two item list. But this would fail in case such a list is passed as a value, expecting the type to be inferred. Ideas?

[death]

Can you not wrap it in some object which is currently without interpretation?
But I'm not sure automatic inference could work, given the ambiguity a value like 42 has...