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