eopl; exercise 4.08 - why linear time?