Purity for first-order functions.