type validation,