Yeah, the learning curve is there, but it has its benefits for software development.

Personally I really am enjoying the one implemented by Unison: https://www.unison-lang.org/docs/fundamentals/abilities/usin...

But Koka's was fun to play around with as well!