Author here: it's not changing the problem definition. I can confirm that the original motivation for writing the post was to show the theoretical underpinning

Author here: it's not changing the problem definition. I can confirm that the original motivation for writing the post was to show the theoretical underpinnings of the visitor pattern, not to encourage people to gratuitously use double dispatch.