"In my view, Haskell is in the opposite spectrum of Rust when it comes to performance over abstraction."

That is why I suggested it. It's a different "hair shirt" than Haskell, but it's one that's a lot easier to explain the benefits of.