> About subclasses, I'm not sure if it's safe to call the traverse function if a subclass overrides it and visits its own member which are not in the built-in type (like dict or tuple).

Technically the traverse should only call visit on the members, but in practice they can do whatever. I agree is not clear is a safe operation