I used to tutor at the Australian National University, where the first semester CS course is 100% Haskell, it it was absolutely the right choice. People who’ve programmed before are at very little advantage over students who’ve never written a line of code, and often it’s the ones who did well in maths in high school that do best with it. It teaches many important ideas in a way that doesn’t give you an escape hatch to do bad things. I think for a CS degree, the primary goal is not to teach students how to program in the languages they’ll use in industry, but to teach them the ideas they’ll be able to apply to _any_ language they use in the future. I’ve also spent most of the 15 years since I took that course working professionally in Haskell, so it’s not like it’s “useless” for everyone.

I have colleagues at institutions who teach LISP-like languages (Scheme, Racket) to incoming first-year students. They name the same benefits you do, and trust me, I am onboard for functional programming as a first PL generally. But I am curious whether you know how successful your program was in "outreach". Our CS1 course uses Python, and students implement a game (inspired by Pokemon). They find it very exciting, and for a lot of them, the "computer very literally does what you say" is a revelation to them. I would worry about losing some of that switching to Haskell. I'm not saying that it's an impossibility. The main obstacle in my department would be that only a handful of the faculty even know more than a few languages.