https://effekt-lang.org/blog/recursion-schemes/?playground=AwA%3D&repl=
#plt #fp #effects #recursion
A language with lexical effect handlers and lightweight effect polymorphism