I guess what constitutes a HLL is a matter of opinion but I think of Rust as low level, like C++ with memory safety. Haskell is high level but introduces its own brand of pain. Most of the imho interesting alternatives are on the exotic side. Maybe things will converge after a while.

Thanks for the link to iced. I’ll look into it.