Your last point is the other way around: Haskell has excellent static reasoning/debugging facilities therefore there is little pressure to make good debugging

Your last point is the other way around: Haskell has excellent static reasoning/debugging facilities therefore there is little pressure to make good debugging tools. I believe purity should make debugging easier, not harder. Laziness should only make performance debugging harder, not correctness debugging. There is much room for improvement in this space.