A little work on ADTs