types validations