That's the idea!

I use Rust for a lot of personal projects mainly because of the type system, not because it doesn't have GC. I think GC's totally livable for a great many things, and it would help iteration speed a lot to not have to deal with the borrow-checker, but I just can't stand working in a language with a shaky type system these days. So Go-with-good-types sounds fantastic to me.

How about OCaml?

I've heard the tooling and general ecosystem are not great (similar to Haskell), though I don't know firsthand

I've personally found it really good, probably better than Haskell. Not Go level though I imagine.

The tooling is good, the ecosystem is where it's lacking.

OCaml will be a viable alternative when multithreading works, hopefully soon.

Or Kotlin, KOlang.