VALIDATORS can leak implementation details about what function handles a validator

[Julian]

SomeValidator.VALIDATORS assumes a 1-1 mapping between validators and validating functions.

That's not necessarily the case though.

E.g., the implementation of the then validator happens inside if.