You might be surprised to see the degree with which you can assert behaviour using typing in haskell. Given the strict environment it presents.

Types in Haskell are used not just to represent data, but represent data as it is transformed and processed.

So often a type error in haskell represents an error in thinking, rather than an error in typing. This is one aspect of the language I really like.