Merged ADTs