void doubleAll(List L) { if (empty(L)) /* nothing to do/; else { head(L) = 2 * head(L); doubleAll(tail(L)); } }