I'm about 65% sure this is an artifact of how I have the example set up rather than something that would really work in practice.

(I suspect that you would lose flexibility, not in the original method, but in whatever code is doing the type coercion.)