ADT syntax is changing again