Tweak API Annotations for ConDeclGADT