@rml This looks like nominal vs structural “styles”. Haskell clearly favors the former, but has a lot to work with the latter - Dynamic, Generics, all kinds of “Value” ASTs and coercing/parsing/building to bridge it.

I’m pessimistic, honestly, on the merits of generic structures throughout and usually want to parse them away and the boundary. Thus, it’s Haskell for me (: