"A valid example (which evaluates to (((foo 1) (foo 2)) ((baz 3) (baz 4)))) is given by:"

should be

... (((bar 1) (bar 2)) ((baz 3) (baz 4)))) ...