eopl; exercise 4.07 - setref-exp