Correctly implemented type validations