talk: ADTs