Functions as first-class values