You can encode a specification within Haskell's type system and get guarantees that are very difficult in other languages. Gabriel's pipes library is a great example of this (see a Pipe's associativity laws).
That's a much weaker statement, but still a valuable property.
But no, Haskell is not a silver bullet, and comes with a number of significant drawbacks.
Semantics! :)