[Peaker]

Well, whenever you write non-trivial code, your code is going to have invariants. These invariants can be partially tested or they can be fully type-checked. The latter is better and cheaper, when available. Haskell makes the latter available far more often, so you don't have to pay for the former. This is not just useful for data structures, but code in general.

[TylerE]

This post kind of sums it up for me. No, I'm not thinking about invariants. We're talking about writing a web app here. Typing is pretty meaningless when 99.9% of your data is just strings.

[Peaker]

If 99.9% of your data is "just strings", you're probably Doing It Wrong.

[TylerE]

Again.... web app.

[Peaker]

Example web app: http://www.yesodweb.com/blog/2012/04/yesod-js-todo

How many Strings do you see there?