This post by the Koka-author is an update about what's currently being worked on: https://github.com/koka-lang/koka/discussions/339