Type validation (not compiled)