Effectful Recursion Schemes

Interesting syntax: https://effekt-lang.org/docs/casestudies/ad

> do add(do mul(do num(0.5), do exp(do add(do num(1.0), do mul(do num(2.0), x)))), do exp(do mul(x, x)))