Rust

Something like Rust but with a GC and an async runtime to have implicit green threading and cooperative scheduling would be awesome. I know OCaml is very close to this but it's also really close to haskell which I already know pretty well. A strict version of haskell is what I need. Something like purescript

Tricks with polynomials and Riemann-Roch spaces. Breaking into the platonic realm to pillage forbidden abstractions. Starknet grantee.

I'm interested in learning go but it's falls short of what I want. Concurrency in go looks great but the type system seems lacking.