Reduce (higher-order function)