Updating: compiling higher-order functions.