Type annotations in validators