This seems pretty neat! Still holding out for a language with Go's runtime and compilation and performance characteristics, but language syntax and semantics like Gleam... Maybe one day
Unfortunately the current trend among new languages seems to be eschewing GC; a clear mistake IMO — we don't really need yet another low-level systems programming language, but we badly need the go-to GC'd lang — one that'd take the faults of Java and Go into account.
Borgo could be your thing? https://borgo-lang.github.io
Xgo
It is called OCaml. Fast compilation and state of the art statically typed functional programming.
Sure it is a bit more complex than Gleam and the syntax is different but you can manage.