list_as_ADT notes