Unison [1] has algebraic effects as a first-class feature. They call them "abilities" there. You can make async about as transparent/opaque as you want it. Docs

Unison [1] has algebraic effects as a first-class feature. They call them "abilities" there. You can make async about as transparent/opaque as you want it. Docs on abilities in [2]. [1]: https://www.unison-lang.org/ https://www.unison-lang.org/ [2]: https://www.unison-lang.org/learn/language-reference/abilities-and-ability-handlers/ https://www.unison-lang.org/learn/language-reference/abiliti...