[protomikron]

> I'm genuinely curious: what types of bugs does a stricter type system catch that a reasonable test suite probably would not?

Edge cases that you do not hit in your test cases.

One could also argue that a distributed computing platform coupled to a money system may not need to be Turing complete. State-of-the art type systems are capable of proving non-trivial properties of code which could be handy in the crypto world.