One can also create a largely generic type, for example a json like object and define polymorphic operators on these objects which handle casting as needed. Th

One can also create a largely generic type, for example a json like object and define polymorphic operators on these objects which handle casting as needed. The program will need to keep track of the types at runtime, but that's also true of Python, so what?