Effekt Language: Effectful Recursion Schemes
effekt-lang.org
A language with lexical effect handlers and lightweight effect polymorphism