[chrisdone]

The recent Unison language uses the effect system described in the Frank language https://www.unisonweb.org/