[mithametacs]

Yes you can, you handle every case equally. You don’t even need the reflection mechanisms to be visible to the user with a good type system. A good type system participates in codegen.

for a really simple example: languages which allow narrowing a numeric to a float, but also let you interpolate either into a string without knowing which you have.

A statically typed Console.log in JS/TS would be an unnecessary annoyance.