I don't think anyone believes that types are sufficient outside, at least outside of a dependently typed language (at which point you'll have more diversity of opinion).

Types in Haskell won't buy you 100% of what you need, but they may buy you 50%.