Sure, but it still does basically the same thing of passing around witness tables. Values happen to have a uniform representation, but this seems seems like var

Sure, but it still does basically the same thing of passing around witness tables. Values happen to have a uniform representation, but this seems seems like variation within a cluster of languages that do similar thing rather than something fundamentally new.