Кстати, я давненько исследовал вопрос ADT vs Visitor pattern, и у меня есть весьма конкретный код, чтобы оценить удобство:

Задача: написать абстракцию над выражениями, где могут быть константы, переменные и бинарная операция `+` для простоты. Реализовать вычисление и преобразование для упрощения таких выражений.

https://pastebin.com/fcYdQWVX

Написано на Скале, но я думаю разберётесь. Особенно хотелось бы отметить, что визиторовская версия не дописана, потому что явно муторно и сложно:
class Simplify extends Op[Tree] {
 override def apply(c: TConst): Tree = c
 override def apply(v: TVar): Tree = v
 override def apply(s: TSum): Tree = {
   // TODO implement this
   ???
 }
в то время как ADT-шная версия по-прежнему вполне читаема.