Correctness Doesn’t Matter
It's an intentionally catchy title, but the point is still there. I think it's an important lesson many #haskell and FP enthusiasts failed to learn.
https://www.galois.com/articles/what-works-and-doesnt-selling-formal-methods