This was a talk at the FUNARCH workshop at this year’s ICFP.

Here’s the livestream: https://www.youtube.com/live/c0pw1iVs_Q0?is=hwm2xa4cZOcqF5tW

Well post the individual talks in the following days!