That blog post makes a big deal out of formal verification. However, my understanding is that if you really want to do formal verification on a practical scale, you are better off using a less fashionable language that's nonetheless had orders of magnitude more investment in verification tooling (such as Java).
Potentially Cardano could become one of the most significant uses of Haskell in the wild, if it gets traction of course