updated ADT syntax