This would be way more powerful if there was a way to infer a validator from a TypeScript type.