Comment by AnimalMuppet

If you can, yes.

But that last 10% of checking may be really hard to encode in types. It may be especially hard to do so in the language that you want to use for other reasons.