(the author goes on to complain about how the value ought to be whatever fn(a->x,b->x) returns)*

That was bad.