型の有効性