Hegel – An advanced static type checker for JavaScript (hegel.js.org)

If you ask yourself why: https://hegel.js.org/docs#why-hegel

The idea of an actually sounds your system with js syntax is very appealing when compared to typescripts deliberate unsoundness.