You can tell that Koka is still far from being complete. The language server will often get stuck on errors in your code and will stop updating information about the rest of the file until the error is resolved. Makes it a bit annoying to work with, but it's not impossible.