I&#x27;be been mulling over a similar concept for a while, really excited for this.  Go has such great tooling and a nice ecosystem, but could use some language improvements, like coffeescript or the alt JVM languages.<p>I really want sum types, strict semantics, and untyped IO, and a good ecosystem.