i think adding interfaces that are simply enforced at compile time would be a good start You could create a new type like Dynamic(InterfaceName) that handles d

i think adding interfaces that are simply enforced at compile time would be a good start You could create a new type like Dynamic(InterfaceName) that handles dynamic dispatch somehow