Introduction to Unison’s algebraic effects (abilities).
Go from a small Scala program based on the Option monad to a Unison program based on the Abort ability.
Inspired by, and part based on, a talk by Runar Bjarnason.