TypeScript is an even better example with a lack of soundness in its type system but still being an incredibly useful way of programming in JavaScript.

The unsound type system is hardly simple at this point, and type errors are a pain because they aren't modularized very well (and structural type errors tend to cascade quickly). Still, it beats the alternative.