Functional programming as in map-filter-reduce? Lisp. Functional programming as in "strong static typing and algebraic data types"? ML. I try not to begrudge

Functional programming as in map-filter-reduce? Lisp. Functional programming as in "strong static typing and algebraic data types"? ML. I try not to begrudge anyone their enjoyment of anything, and I like jazz, for the record. It's good that we have a language for people who want to do Haskell-y things, and y'know, Pandoc is nice. But this blog had an opportunity to make the case that Haskell innovations are trickling down into mere programming languages for squares (for the squares out there, if you don't like jazz, you're a square), and they offered two things which don't come from Haskell. So I put it to you, Hacker News: what did the author miss? Where are the great Haskell innovations us mere programmers now benefit from?