Ah, I guess this answers another question I had, i.e. whether to use the same enum in both cases (requiring to forbid `IMPLICIT` when used at a validator definition).