> What does Haskell have to show for, besides badly documented libraries and compiler implementations?

Off the top of my head, the Darcs revision control system, the awesome Pandoc tool (http://pandoc.org/), and the Xmonad window manager. All of these are fully-featured and battle-tested software that don't require any knowledge of Haskell to use on a day-to-day basis.

Facebook also uses Haskell to write parts of its software stack, but most of that code is proprietary and not available for reading.

There are many more examples:

https://wiki.haskell.org/Haskell_in_practice

https://www.quora.com/What-are-the-most-famous-software-writ...