> Still, I had expected that echo - at runtime - would know/use the dynamic > type.
Yeah, on second thought that's surprising. Objects must contain some hidden type metadata, for a check like `n0.children[0] of ExtNode` to work. So I would expect `echo` to look up the dynamic type of the object when inspecting its type and contents. Maybe this is just a limitation of `echo` (or whatever introspection function it calls.)
