In reduce-right, use @code on "reduce".