Add show generation function for ADTs