quotes and ADTs