Language design is full of tradeoffs and each language picks its own niche in the design space. Go language is generally less type-safe than Kotlin: it does not solve the null pointer problem, nor collection readability problem, and it does not even have generic types. So I am not surprised it has no type-level solution for coroutines either. It perfectly fits the overall style of the language.