Defining what's in a List cell

class List

{

int First; ˆ "fields" (not as in a1)

List Rest; ¯

static List cons(int First, List Rest)

                      ›           ›

                      local identifiers  

                      which have the same names as the fields,

                      but which are distinct  variables