Basic Ideas --- Constructors Use assignments left right Evaluate left, then evaluate right Assignment to i-th position of left constructors i takes Dewey notation Cons[l,r] = Cons[l,DUMMY] r DUMMY: placeholder DUMMY exp = exp special case