Unison has an algebraic effect system, under the name "abilities"

https://www.unisonweb.org/docs/abilities/