Fix incorrect type annotation when eta-expansion happens in validators.
The same fix still needs to be applied to ag_o[bj]_emit.ml.