[Haskell-cafe] Strict type system allows for a maximum number of programming errors to be caught at compile time.

[Roel van Dijk]

In my opinion code is 'right' when it conforms to the specification.
Haskell's type system allows the programmer to express a part of the
specification in the types, which then get checked by the
compiler/type-checker. This is where I see the biggest benefit of a
very expressive statically checked type system.