Comment by marcosdumay

I don't have a problem with any of those representations, and also no problem with all of them at the same time.

But not only the value representation keeps the types ambiguous, also there is no off-channel place to disambiguate the types, and no value-independent rules for deciding on the types. If any of those was different, there wouldn't be a problem.