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 syste

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.