type validator ok