If Haskell didn't have anything interesting to offer besides QuickCheck (and everything special about Haskell that QuickCheck depends one, but it has been port

If Haskell didn't have anything interesting to offer besides QuickCheck (and everything special about Haskell that QuickCheck depends one, but it has been ported to other languages with varying level of completeness) it would still be a massive contribution to software engineering.