Algebraic Effects in Unison?

Ajax is a new programming language that uses algebraic effects. Algebraic effects are similar to monods, but more powerful and flexible. The type system keeps track of what effects are in play,. And whether or not you have a sort of dispatched those effects with handlers. A simple ability in the base library isthe ability to abort. In unison there's an ability called throw, which allows you to throw any value. There's also an ability called exception, which allowing you tot an a special type called n an error.