5 ms·

Type checking is achievable. It doesn't matter if I need to use external tools; those tools are available.