Minor improvement to (reduce), which was pessimistic if its reduction function failed to apply