Transferring costs from compile time to runtime is pretty much the signature move of dynamic languages. If you already carry around type information and check i

Transferring costs from compile time to runtime is pretty much the signature move of dynamic languages. If you already carry around type information and check it at runtime, why not just add union types? Your implicit conversion is zero cost at that point, after all.