You're right of course. Your suggestion makes this implementation a bit inconsistent with the other `validate` methods in `types-impl.ts`, but I guess this shouldn't keep us from making new code more safe.