Has anyone have the experience using polymorphic variant for a big Ast? 

  The benefit I can think of is  open recursion, global namespace(not in a module). Did anyone give a try?

Regards