In static languages this really isn't a big deal, since you can dispatch based on type. Things definitely get more awkward if you can do things like define new

In static languages this really isn't a big deal, since you can dispatch based on type. Things definitely get more awkward if you can do things like define new types at runtime, though.