Yes, but it’s got some cool Haskell projects (like a new language). Also, it has some big Haskell names there. When I worked there I debugged a compiler performance issue with one of the original creators, and there’s people like Lamport or Wolfram or Cerf brought in for talks.

It’s not building products but the core platform.

It is. They are one of the main developers for Cardano (I linked some of their stuff in another comment talking about examples of commercial open source haskell because I keep up with the project).

I'm actually interested in what other projects in the cryptocurrency space use haskell? I thought Cardano was the only project that did. Most everyone else seems to use Rust or some mishmash of web oriented languages.