sugarized ADT decl