User's Guide: Fix compiler plugin example (#9641, #7682)

The previous fix was incorrectly eta-reduced.