added a test for lists of ADTs