ADTs are mostly string replacement on generic structs and unions, plus tagging on the union. It's not a complicated use of macros.