> And yet there are hardly any software written in Haskell or Ocaml that are widely used or have any notable positive impact on the modern digital world,

It's used in supply chain management at target.

IIRC at Starbucks too.

Oh, and ever use Facebook chat? Haskell is running over your messages to filter out spam.