[zetalemur]

Yes, I may have worded that wrong, it's certainly possible. But is it reasonable? By that, I mean can it compete in performance with C/C++/Rust?

[tome]

Ah, not sure! Maybe you're right. But then it doesn't seem separate from your second point: "Also: Idiomatic Rust is already extremely fast, while in Haskell it is non-trivial to implement high-performing code.".

[zetalemur]

You are technically correct. The best kind of correct. :)