I think a more powerful argument would be to talk about cases where

Haskell is *actually being used* industrially.  E.g., "these folks at
Credit Suisse are using Haskell for their analytics because in their
line of work, if the implementation of the code doesn't match up
perfectly with the spec, their employer could lose millions of dollars,
and the programmers might not notice the bug until those millions were
long gone".